Модус поненс

Если А, то В А

Следовательно, В

Утверждающим он называется потому, что его заключение утвердительное суждение. Например:

Если 3 х 5, то получится 15 3x5

Получилось 15

Модус толленс

Если А, то В не-В

Следовательно, не-А

В данном случае рассуждение идет не от утверждения осно­вания к утверждению следствия (как в предыдущем модусе), а иначе: от отрицания следствия к отрицанию основания. Поэтому и вывод называется отрицательным.

Например:

Если это условный силлогизм, то в нем есть условное суждение

Условного суждения нет

Значит, этот силлогизм не является условным

При истинности посылок такие формы вывода гарантируют истинный результат, чего нельзя сказать о двух оставшихся мо­дусах.