Конструктивная дилемма
-
Основы пропозициональной логики
- Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операторов
- Ассоциативность, коммутативность, распределительная способность, двойное отрицание и законы Де Моргана
- Перестановка и существенное значение
- Экспорт и тавтология
- Универсальное и экзистенциальное обобщение
-
Конструктивная дилемма
- Правило вывода, утверждающее, что если P подразумевает Q, R подразумевает S, и хотя бы одно из P или R истинно, то хотя бы одно из Q или S также должно быть истинно
- Дизъюнктивная версия modus ponens, противопоставляется деструктивной дилемме
-
Формальная нотация
- Запись правила конструктивной дилеммы в последовательной нотации с использованием металогического символа ⊢
- Выражение правила как истинно-функциональной тавтологии или теоремы логики высказываний
-
Пример естественного языка
- Название дилеммы связано с переносом дизъюнктивного оператора
-
Рекомендации
- Статья является заглушкой и призывает к расширению для улучшения Википедии
Полный текст статьи: