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