Статья 220

В качестве предикатных констант ниже будут применяться буквы.

Обычно из контекста ясно, какова местность предиката, но в случае необходимости можно ставить верхние индексы местные предикатные константы будем считать константами ранга.
Перечисленные типы знаков, исключая индивидные переменные, обычно называют нелогическими или дескриптивными знаками языка. К логическим знакам относятся индивидные переменные, логические связки и кванторы.
Логические связки, или пропозициональные константы служат для образования из одних формальных выражений языка, атомарных или сложных, других, более сложных выражений этого языка.

Мы будем использовать обычные логические связки конъюнкция, дизъюнкция, импликация и отрицание.

Кванторы - это знаки, которые в сочетании с переменными дают возможность выразить утверждения о том, что для всех или некоторых индивидов выполняется определенное условие.