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 \rightarrow q,
¬ q \quad
\vdash ¬ p. \quad

("p medfører/så q, ikke-q, ergo ikke-p")


I mængdelære:

P\subseteq Q
x\not\in Q
x\not\in P

("P er en delmængde af Q. x er ikke i Q. Derfor, er x ikke i P.")

[redigér] Se også