Логическая форма

Терм, не содержащий в своем составе предметных или операторных переменных, называется замкнутым термом. ППФ ЯЛП1⁼, не содержащая: (1) свободных вхождений индивидных переменных, (2) операторных переменных и (3) предикатных переменных, – называется замкнутой ППФ.

ППФ, не содержащая свободных вхождений никаких переменных, кроме пропозициональных и/или индивидных переменных, называется пропозициональной формой. ППФ, содержащая предикатные переменные, называется предикатной формой.

Логической формой некоторого выражения естественного языка называется перевод этого выражения на ЯЛФРТ, в котором все нелогические константы заменены переменными соответствующих категорий таким образом, что ни одна индивидная переменная не оказывается в области действия квантора, связывающего эту переменную.