1. Термы.
а) Каждая константная буква есть терм.
б) Если 
— термы, то и 
-терм.
в) Никакие другие выражения не являются термами. (Заметим, что если выражение 
используется как терм, то оно используется вместо 
для некоторого 
Верхний индекс 
был бы излишним.)
2. Атомные формулы.
а) Пропозициональные буквы являются атомными формулами.
б) Если 
— термы, то 
атомная формула.
в) Никакие другие выражения не являются атомными формулами.
3. Правильно построенные формулы (п. п. формулы).
а) Атомная формула есть п. п. формула.
б) Если А - п. п. формула, то 
- п. п. формула.
в) Если А и В - п. п. формулы, то [А В) — также п. п. формула.
г) Никакие другие выражения не являются п. п. формулами (пока).
Приведем примеры п. п. формул:
Приведем примеры выражений, не являющихся п. п. формулами:
Добавим к нашему алфавиту логические символы 
и V («или»), которые позволят короче записывать более сложные п. п. формулы, содержащие 
Пусть и 
— любые две п. п. формулы. Тогда 
и — также правильно построенные формулы, определяемые равенствами
(Символ 
читается как «не», а символ 
как «влечет за собой».)
-местные функциональные буквы: 
называются константными буквами. Для простоты записи вместо 
удобно употреблять строчные буквы 
, а вместо других 
— строчные буквы 
. без индексов.)
-местные предикатные буквы: 
называются пропозициональными буквами. Мы включили их для полноты, но в последующих примерах мы ими не пользуемся. Для простоты записи вместо 
удобно употреблять прописные буквы 
без индексов.)
