Читайте также:
|
Предикат – это языковое выражение, обозначающее какое-то свойство или отношение. В логике предикатов атомарная формула состоит символического обозначения предиката и термов, выступающих в роли аргументов этого предиката.
Предикат указывает на свойство отдельного предмета, например, свойство, быть зеленым, называется одноместным предикатом.
Предикат, обозначающий отношение называется двухместным, трехместным и т. Д. в зависимости от кол-ва аргументов (от кол-ва членов данного отношения).
Предикатами называются функции, значениями которых служат высказывания, например Х есть зеленый – это функция одной переменной. Х любит У функция двух переменных. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных или при связывании переменных кванторами. В общем виде обозначение предиката – это грамматически правильное повествовательное предложение, взятое вместе с выраженным им смыслом. В исчислении высказываний каждый атомарный (элементарный) символ обозначает высказывание некоторой сложности. При этом не существует способа получить доступ к компонентам отдельного суждения. Пример высказывания: P “Во вторник шел дождь”
Исчисление предикатов в отличии от исчисления высказываний позволяет получить доступ к компонентам отдельного суждения. Предикат погода и он описывает отношение между датой и погодой. ПОГОДА(ВТОРНИК,ДОЖДЬ).
Дата добавления: 2015-07-10; просмотров: 96 | Нарушение авторских прав