Алгебра высказываний
Формула
выполнимые
тождественные
опровержимые
противоречивые
Операции
Конъюнкция
Дизъюнкция
Импликация
Эквивалентность
Антиэквивалетность
Штрих Шеффера
Стрелка Пирса
Нормальные формы
Конъюнктивный одночлен
Дизъюнктивный одночлен
Совершенный одночлен
Дизъюнктивная н.ф.
Конъюнктивная н.ф.
Совершенная н.ф.
Методы доказательства
от противного
доведение до абсурда
цепное умозаключение
дедуктивные
индуктивное
контрпример
Правила
логических
умозаключений
МОДУСЫ
условно-категорические
разделительно-категорические
ДИЛЕММЫ
конструктивные
деструктивные
триллема
введение логических связок
удаление логических связок