МОДУС ТОЛЛЕНС
Так средневековые логики называли следующую схему рассуждения:
Другая запись:
Если А, то В. Не-B. Следовательно, не-A.
Эта схема часто называется принципом фальсификации: если из какого-то утверждения вытекает следствие, оказывающееся ложным, это означает, что и само утверждение ложно. Посредством схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания данного высказывания. Например:
Если гелий — металл, он электропроводен.
Гелий неэлектропроводен.
Гелий — не металл.