Modus tollens er en gyldig syllogisme (argumentationsform):
I naturligt sprog: Hvis P, så Q Q er falsk Ergo, P er falsk
I formel logik (sætningslogik):
, ¬ ¬ ("p medfører/så q, ikke-q, ergo ikke-p")
I mængdelære:
∴
("P er en delmængde af Q. x er ikke i Q. Derfor, er x ikke i P.")
Se også Logik Modus ponens
Kategori:Logik