Словарь логики

(в логике) отождествляется с многоместным предикатом. Предикаты подразделяются на одноместные, соот­ветствующие свойствам предметов, и многоместные (двухмест­ные, трехместные и вообще п-местные, где п ≥ 2), соответству­ющие О. При этом предикаты записываются в виде пропозици­ональных функций (см.: Функция пропозициональная) Число переменных в функции характеризует число мест, на которые могут подставляться имена предметов. Так, пропозициональ­ная функция Р(х) является функцией с одной переменной и соответствует свойству; пропозициональная функция xRy с дву­мя переменными соответствует двухместному О.; пропозицио­нальная функция R(x, у, z) с тремя переменными соответ­ствует трехместному О. и т. д. Примером одноместного предика­та и соответствующей ему пропозициональной функции от одной переменной может быть функция «четное число (х)» или «x — четное число». Она соответствует свойству «быть четным числом». Примером двухместного предиката и соответствующей ему пропозициональной функции от двух переменных может быть функция «х больше у». Она соответствует двухместному О. «боль­ше». Примером трехместного предиката и соответствующей ему пропозициональной функции от трех переменных может быть функция «х находится между у и z». Она соответствует трехмес­тному О. «находиться между». Свойство, таким образом, пред­ставляет собой такую характеристику предмета, приписывание которой одному-единственному индивиду приводит к образо­ванию либо истинного, либо ложного суждения. Так, подста­вив в функцию «х - четное число», соответствующую свой­ству, вместо переменной х индивид 4, мы получим истинное суждение «4 - четное число». Произведя вместо х подстановку числа 5, мы получим ложное суждение. О. же есть такая характе­ристика, которая для образования либо истинного, либо лож­ного суждения требует по меньшей мере приписывания ее двум предметам. Так, подставив вместо х и у в функцию «х больше у» числа 5 и 3, мы получим истинное суждение «5 больше 3»; под­ставив же числа 1 и 2, мы получим ложное суждение «1 больше 2». Если же мы припишем О. «больше» одному предмету, напр. числу 3, то получим выражение «3 больше», которое не образует истинного или ложного суждения, а является бессмысленным вы­ражением.