Modus tollens

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å

• Logik