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