Modus tollens

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg

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å[redigér | redigér wikikode]