Modus tollens
Fra Wikipedia, den frie encyklopædi
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.")

