БСЭ БСЭ - Большая Советская Энциклопедия (ЛО)

А. И. Ракитов.

Ло'гика отноше'ний, раздел логики, посвященный изучению отношений между объектами различной природы. В естественных языках отношения выражаются сказуемыми предложений, имеющих более одного подлежащего (или подлежащее и одно или несколько дополнений). В зависимости от числа этих подлежащих (или подлежащих и дополнений) говорят о бинарных (двуместных, двучленных), тернарных (трёхместных, трёхчленных), вообще n-арных (n-местных, n-членных) отношениях. В формализованных языках математической логики аналогом понятия отношения служит понятие (многоместного) предиката; соответственно современная модификация Л. о. называется логикой предикатов. На языке теории множеств и алгебры n-местным отношением называется класс упорядоченных систем из n элементов; если, например, упорядоченная пара <���х, у> принадлежит некоторому отношению R, то говорят, что х находится в отношении R к у. Для понимаемых таким образом отношений определяются понятия области определения данного отношения (множество первых элементов входящих в него пар) и области значений (множество их вторых элементов) и аналогично тому, как это делается в теории множеств, вводятся операции объединения (суммы) и пересечения (произведения) отношений. В получающейся «алгебре отношений» (термин, также употребляемый как синоним термина «Л. о.») роль «единицы» играют т. н. отношения эквивалентности, т. е. отношения, обладающие свойствами рефлексивности (для всех х имеет место xRx), симметричности (из xRy следует yRx) и транзитивности (из xRy и yRz следует xRz). К этому важнейшему классу отношений принадлежит, например, равенство чисел, подобие многоугольников, параллельность прямых и т. п. Другой важнейший класс отношений — т. н. отношения порядка (рефлексивные и транзитивные, но несимметричные — «нестрогий» порядок; транзитивные, но нерефлексивные и несимметричные — «строгий» порядок; примерами могут соответственно служить отношения «не больше» и «меньше» для чисел или отрезков). В терминах отношений (и с использованием аппарата алгебры отношений) вводятся многие важнейшие понятия логики и математики, в частности понятия функции и операции.

Ю. А. Гастев.

Ло'гика предика'тов, раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации Л. п. принимает вид различных исчислений. Простейшими логическими исчислениями являются исчисления высказываний. В более сложных исчислениях предикатов описываются логические законы, связывающие объекты исследования с отношениями между этими объектами.

В классическом исчислении предикатов употребляются следующие знаки: 1) т. н. предметные переменные — буквы х, у, z ,..., которые содержательно рассматриваются как неопределённые имена объектов исследования теории; 2) предикатные переменные — знаковые комплексы вида P m, Q n, R l,... ( m, n, l — натуральные числа), причём, например, Q nозначает произвольное n-местное отношение между объектами; 3) знаки для логических связок: конъюнкции &, дизъюнкции , импликации É, отрицания ù, означающие соответственно «... и...», «... или...», «если..., то...», «неверно, что...»; 4) знаки для кванторов "(квантор всеобщности), 3 (квантор существования), означающие соответственно «для всех...» и «существует... такое, что...»; 5) запятая, скобки (для уточнения строения формул).

Если Q nесть n-местная предикатная переменная, a x 1,..., x n — предметные переменные, то выражение Q n( x 1,..., x n ) есть, по определению, атомарная (элементарная) формула. Индекс n у предикатной переменной в атомарной формуле обычно опускается. Содержательно Q (x 1,..., x n) означает высказывание, гласящее, что объекты x 1,..., x n связаны отношением Q. Формулами считаются атомарные формулы, а также выражения, получаемые из них посредством следующих операций образования новых формул из уже полученных: 1) если j и — формулы, то (j& ), (j ), (jÉ ) и ùj — также формулы; 2) если j — формула и х — предметная переменная, то "xj, $xj — формулы. Определением формулы заканчивается описание языка исчисления предикатов.

Вхождение предметной переменной х в формулу j называется связанным, если х входит в часть j вида $xj или "xj или стоит непосредственно после знака квантора. Несвязанные вхождения переменной в формулу называются свободными. Если найдётся хоть одно свободное вхождение х в j, то говорят, что переменная х входит свободно в j или является параметром j. Интуитивно говоря, формула j с параметрами выражает некоторое условие, которое превращается в конкретное высказывание, если (конкретизировав предварительно область объектов) приписать определённые значения входящим в формулу параметрам и предикатным буквам. Связанные же переменные не имеют самостоятельного значения и служат (вместе с соответствующими кванторами) для обозначения общих утверждений или утверждений существования. Если j — формула, а х и у — предметные переменные, то через j( х ½ у ) будет обозначаться результат замещения всех свободных вхождений x в j на y (а если при этом у оказалось на месте х в части формулы вида " y или $ y , то следует дополнительно заменить все связанные вхождения у в эту часть на переменную, не входящую в j; это делается для того, чтобы не допустить искажения смысла j при замене х на у ).

Пусть j, , h — произвольные формулы, а х и у — предметные переменные. Тогда формулы следующих видов принимаются в качестве аксиом классического исчисления предикатов:

1. (jÉ( Éh)),

2. ((jÉ( Éh))É((jÉ )É(jÉh))),

3. ((j& )Éj),

4. ((j& )É ),