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