Modus tollens

Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. Du kan hjælpe ved at angive kilder til de påstande, der fremføres. Hvis ikke der tilføjes kilder, vil artiklen muligvis blive slettet.

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):

${\displaystyle p\rightarrow q}$,

¬ ${\displaystyle q\quad }$

${\displaystyle \vdash }$ ¬ ${\displaystyle p.\quad }$

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

I mængdelære:

${\displaystyle P\subseteq Q}$

${\displaystyle x\not \in Q}$

∴${\displaystyle 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.