Обсуждение:Предикат
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Эта статья тематически связана с вики-проектом «Философия», цель которого — создание и улучшение статей по темам, связанным с философией. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Примеры[править код]
"Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.
Предикат — это то, что утверждается или отрицается о субъекте суждения.
x,y,z принадлежит R" - это что-то совершенно бессвязное. --AmfiTIMNin 10:27, 6 июня 2013 (UTC)
- Подправил текст. --Humanitarian& 19:59, 6 июня 2013 (UTC)
Определение[править код]
Так всё-таки предикат - это УТВЕРЖДЕНИЕ о субъекте, или всё-таки ФУНКЦИЯ этого утверждения, возвращающая 1 или 0 в зависимости от его истинности? Есть ведь разница? И где тут про скобку Айверсона? Clothclub (обс.) 19:28, 9 января 2023 (UTC)