МАТЕМАТИЧЕСКАЯ ЛОГИКА
Предмет математической логики
Логика высказываний
Алгебра высказываний
Формулы алгебры высказываний
Логическая равносильность формул