§3 Основы Булевой алгебры

3.1 Алфавит. Вводятся в рассмотрение знаки пяти видов: пропозициональные переменные, константы, логические связки (знаки логических операций), знак отношения и скобки.

a) Пропозициональные переменные: A₁, A₂, A₃, ...; число пропозициональных переменных не ограничено.

б) Константы: 0, 1.

в) Логические связки: , &, (эти знаки носят названия соответственно отрицания, конъюнкции и дизъюнкции).

г) Знак отношения: = (знак равенства).

д) Скобки: (, ) (левая и правая).

Других знаков алфавит не содержит.

Исчисление строится так, что не всякая конечная последовательность знаков его алфавита является формулой. Формулы — это такие последовательности знаков алфавита, которые удовлетворяют следующему определению [8].