Формулы (индуктивное определение):
1) каждая пропозициональная переменная есть формула;
3) ничто, кроме указанного в пунктах 1 – 2, не есть формула.
Пример. «Вы получите положительную оценку по логике тогда и только тогда, когда вы решите все предлагаемые вам задачи и не будете шуметь на лекциях». Обозначим простые высказывания при помощи пропозициональных переменных: p – «Вы получите положительную оценку по логике»; q – «Вы решите все предлагаемые вам задачи»; r – «Вы будете шуметь на лекциях». Тогда получится формула:
