类别 全部 - операции - формулы - логика

作者:Даша Д 2 年以前

147

Алгебра высказываний

Логика является важной частью математики и философии, изучающей законы и методы правильного мышления и рассуждения. Важным аспектом логики являются методы доказательства, такие как дедуктивные, индуктивные, доведение до абсурда и от противного.

Алгебра высказываний

Алгебра высказываний

Правила логических умозаключений

удаление логических связок
введение логических связок
ДИЛЕММЫ
триллема
деструктивные
конструктивные
МОДУСЫ
разделительно-категорические
условно-категорические

Методы доказательства

контрпример
индуктивное
дедуктивные
цепное умозаключение
доведение до абсурда
от противного

Нормальные формы

Совершенная н.ф.
Конъюнктивная н.ф.
Дизъюнктивная н.ф.
Совершенный одночлен
Дизъюнктивный одночлен
Конъюнктивный одночлен

Операции

Стрелка Пирса
Штрих Шеффера
Антиэквивалетность
Эквивалентность
Импликация
Дизъюнкция
Конъюнкция

Формула

противоречивые
опровержимые
тождественные
выполнимые