Пономарев И.Н. Введение в математическую логику и роды структур

§ 1.3. Язык логики предикатов 31

§ 1.3. Язык логики предикатов

1. Рассматривая формулы алгебры исчисления высказываний,

мы отвлеклись от природы входящих в них переменных, кото-

рые интересовали нас лишь в аспекте истинностного значения. Тот

факт, что пропозициональные переменные представляют собой вы-

сказывания, до сих пор никак не использовался. Теперь мы продви-

немся глубже и рассмотрим высказывание само по себе.

Из школьного курса грамматики известно, что обычным об-

разом построенное предложение имеет подлежащее и сказуемое,

или, если пользоваться латинскими терминами, субъект и преди-

кат. К примеру, в предложении «Сократ — человек» слово «Со-

крат» является субъектом, а «человек» — предикатом. Мы будем

понимать термины «субъект» и «предикат» несколько шире, чем

лингвисты: всё то, о чём говорится в высказывании, мы назовём

субъектами, а всё то, что говорится — предикатом.

Таким образом, для нас часть высказывания, выражаемая шаб-

лоном «