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