Modus tollens

Fra Wikipedia, den frie encyklopædi
Spring til navigation Spring til søgning
Broom icon.svgDer er ingen kildehenvisninger i denne artikel, hvilket muligvis er et problem.
Du kan hjælpe ved at angive kilder til de påstande, der fremføres i artiklen.
Question book-4.svg

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 medfører/så q, ikke-q, ergo ikke-p")


I mængdelære:

("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]

MatematikStub
Denne artikel om matematik er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.
filosofiStub
Denne filosofiartikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.