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 \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.")

Se også[redigér | redigér wikikode]