Предмет математической логики
Логика высказываний
Алгебра высказываний
Формулы алгебры высказываний
Логическая равносильность формул