Структура исчисления предикатов построение логического вывода

Язык, логика и исчисление предикатов Введение Приступая к изучению языка логики предикатов (сокращенно — ЯЛП), полезно вспомнить основные особенности языков этого типа В ЯЛП явно должны быть представляемы субъектно-предикатные структуры высказываний, от которых происхо­дило отвлечение при введении пропозициональных символов. Выражаемыми должны быть, например, высказывания видов. «a обладает свойством Р», «а и b находятся

в отноше­нии Р», «Для всякого предмета из некоторого множества S верно, что он обладает свойством Р», «Для всякого предмета из множества S существует предмет этого множества такой, что эти предметы находятся в отношении R», «Если неверно, что всякие два предмета некоторого множества находятся в отношении R, то существуют по крайней мере два предмета этого множества, не находящиеся в этом отношении», «Если во множестве S существует

предмет х, который находится в от­ношении R с любым предметом у этого множества, то для всякого предмета у того же множества существует предмет х такой, что последний находится в отношении R к первому» и т. п. Ясно, во-первых, что для выражения таких утверждений у нас нет средств в языке логики высказываний. Ясно и то, что для выражения подобных высказываний в ЯЛП мы дол­жны иметь в числе его исходных символов общие имена предметов;

аналогами последних в ЯЛП будут предметные переменные х, у, z, а также они же с числовыми индексами x₁,x₂, ... и т.д. Потребность в общих именах при употребле­ний ЯЛП сохранится лишь для описания областей возмож­ных значений этих переменных, что относится уже не к са­мому языку, а к метаязыку. Нужны также знаки свойств и отношений. Для выражения высказываний вида «Объем тела а больше объема тела b» или «Синус х меньше косинуса y»

и т. п. необходимы, конечно, и предметные функторы. Впро­чем, перечислим систематически основные типы выражений описываемого языка, каковыми являются: исходные симво­лы, термы и формулы. Описание этих выражений составит синтаксис ЯЛП. СИНТАКСИС ЯЗЫКА ЛОГИКИ ПРЕДИКАТОВ (ИСХОДНЫЕ СИМВОЛЫ, ТЕРМЫ, ФОРМУЛЫ) I. Исходные символы языка. 1. Предметные переменные х, у, z, а также х с числовыми индексами: (бесконечное счетное множество). 2.