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
• Modus ponens

Spire Denne artikel om matematik er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.

Spire Denne filosofiartikel er en spire som bør udbygges. Du er velkommen til at hjælpe Wikipedia ved at udvide den.