Konsekvent

Fra Wikipedia, den frie encyklopædi
Jump to navigation Jump to search
Question book-4.svg Der er få eller ingen kildehenvisninger i denne artikel. Du kan hjælpe ved at angive kilder til de påstande, som fremføres i artiklen.

En konsekvent er den anden halvdel af et hypotetisk udsagn. I den traditionelle udgave af et sådant udsagn er det den del, der følger et 'så' (engelsk: "then"). I en matematisk implikation, hvis indebærer kaldes for antecedenten og for konsekventen.[1]

Eksempler:

  • Hvis P, så Q.

Q er konsekventen i dette hypotetiske udsagn.

  • Hvis X er et pattedyr så er X et dyr.

Her er "X er et dyr" konsekventen.

  • Hvis computere kan tænke så er de levende.

"De er levende" er konsekventen.

Konsenventen i et hypotetisk udsagn er ikke nødvendigvis en konsekvens af antecedenten.

  • Hvis aber er lilla så kan fisk tale Klingon.

"Fisk kan tale Klingon" er konsekventen, men er ikke intuitivt en konsekvens af (eller har noget som helst at gøre med) antecedentens påstand om at "aber er lilla".

Fodnoter[redigér | redigér wikikode]

  1. ^ Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004
filosofiStub
Denne filosofiartikel er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.