Формулы. Формулы (или правильно построенные формулы – ППФ) определяются следующим образом: Всякий атом есть формула

Формулы (или правильно построенные формулы – ППФ) определяются следующим образом:

1. Всякий атом есть формула.
2. Если А – формула, то –А – формула
3. Если А и В – формулы, а х – свободная переменная, то

- формулы.

1. Никаких других формул нет.

В пределах формализма логики предикатов первого порядка запрещено использование предикатов в качестве термов, навешивания кванторов на предикатный символ.

Предикат служит для выражения свойства объекта (при n =1) и отношений между объектами (при п 2). Атомарная формула некотором "мире"истинна в некотором "мире" (М), если между объектами в М имеет отношение, соответствующее Р.

Связывание свободной переменной происходит либо квантификацией (взятием квантора по этой переменной) либо присвоением значения.