Силлогизм Условно-разделительный (см. Также Дилемма)

В котором первая посылка является условным суждением (импликацией), а вторая посылка — разделительным (дизъюнкцией).