Логика Предикатов
Или. Функциональная логика, теория квантификации, кванторная логика, - основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектно-предикатную) структуру высказываний. Л. П. Является расширенным вариантом логики высказываний. В Л. П. — в дополнение к средствам логики высказываний -вводятся логические операторы". («для всех») и $ («для некоторых» или «существует»), называемые кванторами общности и существования соответственно. Для выявления субъектно-предикатной структуры высказываний вводится бесконечный пере- . Чень индивидных переменных. Х, у, z, ..., х1, у1, zl, ..., представляющих различные объекты, и бесконечный перечень предикатных переменных.
Р, Q, R, ..., Р1, Q1, Л1, ..., представляющих свойства и отношения объектов. Индивидные переменные принимают значения в произвольной (непустой) области. Наряду с этими переменными могут вводиться индивидные константы, или имена собственные. Запись ("х)Р (х) означает «Всякий х обладает свойством Р». ()Р(х) - «Некоторые х обладают свойством Р». ()Q(xy) - «Существует х, находящийся в отношении Q с у» и т. П. Индивидная переменная, входящая в область действия квантора по этой переменной, называется связанной. Переменная, не являющаяся связанной, называется свободной. Так, во всех трех приведенных формулах переменная х связана, в последней формуле переменная у свободна. Подлинной переменной является только свободная переменная.
Вместо нее можно подставить одно из ее значений и получить осмысленное выражение. Связанные переменные называются фиктивными. Формула Л. П. Называется общезначимой, если она истинна в каждой интерпретации. Тавтология логики высказываний является частным случаем общезначимой формулы. В Л. П., в отличие от логики высказываний, нет эффективного процесса, позволяющего для произвольно взятой формулы решить, является она общезначимой или нет. Для Л. П. Доказан ряд важных теорем, характеризующих ее основные свойства (см. Непротиворечивость, Полнота, Разрешимость теории)..
Дополнительный поиск Логика Предикатов 
На нашем сайте Вы найдете значение "Логика Предикатов" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Логика Предикатов, различные варианты толкований, скрытый смысл.
Первая буква "Л". Общая длина 17 символа
