Словарь по логике

Разделительно-категорический силлогизм: Историческое название умозаключений из двух посылок, из которых одна – разделительное (строго или нестрого дизъюнктивное) высказывание, а вторая – категорическое высказывание, рассматриваемое как простое высказывание или его отрицание. В зависимости от того, чем является вторая посылка, выделяют четыре правильных формы (модуса) разделительно-категорического силлогизма: две отрицающе-утверждающих (modus tollendo ponens) и две утверждающе-отрицающих (modus ponendo tollens).