Дизъюнктивный силлогизм
- Дизъюнктивный силлогизм — это силлогизм, имеющий дизъюнктивное утверждение для одной из своих посылок.
- В классической логике дизъюнктивный силлогизм является допустимой формой аргумента.
- В логике высказываний дизъюнктивный силлогизм — это действительное правило вывода.
- Дизъюнктивный силлогизм позволяет исключить дизъюнкцию из логического доказательства.
- Дизъюнктивный силлогизм тесно связан с гипотетическим силлогизмом и законом непротиворечивости.
- Дизъюнктивный силлогизм может быть записан в формальной нотации и выражен в виде функциональной тавтологии или теоремы.
- Дизъюнктивный силлогизм не становится явным правилом или аксиомой логических систем, так как может быть доказан с помощью доведения до абсурда и устранения дизъюнкции.
Полный текст статьи: