Modus tollens

Fra Wikipedia, den frie encyklopædi
Jump to navigation Jump to search
Broom icon.svg Der 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]

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