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

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