Алфавит логики предикатов.

Символами (элементами) алфавита являются:

1) Константы (индивидные символы). Обычно это имена объектов, наименования свойств, характеристик, значения свойств или характеристик;

2) Символы предметных переменных. Обычно, это малые буквы x, y,z, возможно с индексами. Предметная переменная подразумевает наличие области её определения, т.е. конечного множества значений данной переменной;

3) Функциональные символы. Обычно, это малые буквы f,q,h или осмысленные слова из строчных букв, например, плюс, минус, умножить, отец, мать, дочь;

4) предикатные символы. Обычно, это прописные (большие) буквы P,Q,R, или осмысленные слова из прописных букв, такие как БОЛЬШЕ, МЕНЬШЕ, ЛЮБИТ, СОДЕРЖИТ, СМЕРТЕН,ЧЕЛОВЕК.

5) связки исчисления высказываний .

6) кванторы общности (для всех) и существования (существует).

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