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

Так средневековые логики называли следующую схему рассуждения:

Другая запись:

Если А, то В. Не‑ B. Следовательно, не‑ A.

Эта схема часто называется принципом фальсификации: если из какого‑то утверждения вытекает следствие, оказывающееся ложным, это означает, что и само утверждение ложно. Посредством схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания данного высказывания. Например:

Если гелий — металл, он электропроводен.

Гелий неэлектропроводен.

Гелий — не металл.