Правила построения формул логики предикатов

Правила построения формул логики предикатов

Таблица 2 1 Предметная константа и предметная переменная —термы ЛП. п-аргументная функциональная буква/1, п > 0, сопровождаемая л термами,^,...

Окончание таблицы 2 3 Любая атомарная формула ЛП — формула ЛП. 4 Если ф—формула ЛП, то —>ф—также формула ЛП. 5 Если ф и <р—формулы ЛП, то (ф & <р), (ф v <р), (ф => <р), (ф s ф), (ф ^ ф)— также формулы ЛП. 6 Если ф — формула ЛП и предметная переменная ? входит в ф, но ни квантор общности (?), ни квантор существования (ЕПодформула — формула ЛП, входящая в состав другой формулы ЛП.

Назовем логическим оператором формулы логический союз или квантор, которые в нее входят. Тогда очевидно следующее определение.

Главный логический оператор неатомарной формулы ЛП — союз или квантор, который при ее построении вводится последним.