Дизъюнктивный силлогизм

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

Полный текст статьи:

Дизъюнктивный силлогизм — Википедия