Modus tollens () — це формальна назва для доведення від супротивного. Вживають також скорочення MT.
Modus tollens є простою, часто вживаною формою аргументації: Якщо P, то Q. Q є хибою. Тому P є хибою.
Використовуючи логіко-операторну нотацію: , , . де є логічним твердженням.
Або, у теоретико-множинній формі: , ,
( є підмножиною . не належить до . Отже, не належить до ).
Аргумент має два посилання. Перше посилання — це умовне твердження «якщо — то» (а саме: із P випливає Q). Другим посиланням є те, що Q є хибою. З цих двох посилань випливає, що P є хибою. (Якщо P істинне, то Q також істинне з першого посилання, але це суперечить другому посиланню). Слід зауважить, що в правдивому судженні: якщо посилання істинні, то висновок обов'язково випливає.
Див. також Заперечення Список латинських висловів Modus operandi Modus ponens Modus vivendi
Джерела Умовиводи логіки висловлювань в традиційній логіці