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\to q$,

¬ $q$

$⊢$ ¬ $p.$

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

I mængdelære:

$P\subseteq Q$

$x\in ̸Q$

∴$x\in ̸P$

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

Se også

• Logik
• Modus ponens