Cтраница 1
Понятие предиката в классической логике Аристотеля соответствует в нашей терминологии предикату с одной переменной. Понятие предиката, введенное нами, имеет более широкий объем. Предикатами мы называем также и логические функции нескольких переменных. [1]
Очевидно, понятие предиката является частным случаем понятия функции; отличие состоит лишь в том, что у предиката четко фиксирована область значений. Поэтому вся ранее введенная для функций терминология сохраняет силу и для предикатов. [2]
Приведем объяснение понятия предиката, данное Д. А. Поспеловым [6]: Под предикатом будем понимать некоторую связь, которая задана на наборе из констант или переменных. [3]
По аналогии с двуленточными машинами Тьюринга вводим понятие предиката, вычислимого на машине класса / С. [4]
Так же, как и для формул над множествами булевых функций, вводится понятие предиката, реализуемого формулой над множеством булевых предикатов. [5]
Понятие предиката в классической логике Аристотеля соответствует в нашей терминологии предикату с одной переменной. Понятие предиката, введенное нами, имеет более широкий объем. Предикатами мы называем также и логические функции нескольких переменных. [6]
Эти неопределенные высказывания, или функции одной или нескольких переменных, называются логическими функциями, или предикатами. Предикат с одной переменной соответствует понятию предиката в классической логике Аристотеля и выражает свойство предметов. Так, например, х - кварц, если в качестве 5К рассматривается множество минералов гранитоидов. Предикатом с несколькими переменными выражается отношение между предметами; например, S ( х, у) может обозначать а моложе г /, если ЭД - множество разновозрастных пород, слагающих участок с оруденением. Множество 3CR с определенными на нем предикатами называется предметной областью. Среди предикатов различают постоянные или индивидуальные и переменные. Под индивидуальным предикатом понимается некоторое конкретное высказывание о предметах области ЭД, как, например, в приведенных выше примерах. В качестве переменного предиката рассматривается произвольный предикат из некоторого ( подходящего) множества постоянных предикатов. [7]
Заде [20] неоднократно обсуждалось в литературе. Достаточно широкий класс нечетких логик может быть уточнен с помощью логик частично определенных предикатов Мы рассмотрим спецификацию этого понятия - начальные нечеткие логики, тесно связанные с понятием неточного предиката по С. Клива [9, 23], можно дать определение начальной нечеткой пропозициональной логики. [8]
В логике высказываний внутренняя структура простых высказываний не анализируется, изучается только структура сложных высказываний. При анализе простых высказываний можно заметить, что они есть утверждения о свойствах какого-либо объекта или об отношениях объектов. Поэтому при изменении объекта ( объектов), относительно которых делается это утверждение, значение высказывания может измениться. Для отражения этого факта вводится понятие предиката. [9]