Selvmotsigelse

Fra Wikipedia, den frie encyklopedi
Gå til: navigasjon, søk

En selvmotsigelse (kontradiksjon; fra latin contradictio) er et utsagn som med logisk nødvendighet er falsk.

Eksempler på selvmotsigelser er utsagn av typen

A og ikke-A

eller

hvis og bare hvis ikke-A, så A.

Setningslogikk

Sannhetstabell (0 = usant, 1 = sant):

A B
usant A og B A, men
ikke B		 A ikke A,
men B		 B enten A
eller B		 A eller B verken A
eller B		 hviss A,
så B		 ikke B A hvis B ikke A hvis A,
så B		 A NAND B sant
0
0
1
1		 0
1
0
1
0
0
0
0		 0
0
0
1		 0
0
1
0		 0
0
1
1		 0
1
0
0		 0
1
0
1		 0
1
1
0		 0
1
1
1		 1
0
0
0		 1
0
0
1		 1
0
1
0		 1
0
1
1		 1
1
0
0		 1
1
0
1		 1
1
1
0		 1
1
1
1

Sannhetsfunksjoner: abjunksjon | adjunksjon | alternativ | antivalens | bisubjunksjon | disjunksjon | eksklusjon | ekvijunksjon | ekvivalens | implikasjon | injunksjon | konjunksjon | kontrajunksjon | kontravalens | negasjon | subjunksjon
StubbDenne artikkelen er foreløpig kort eller mangelfull. Du kan hjelpe Wikipedia ved å utvide eller endre den.
Hentet fra «http://no.wikipedia.org/w/index.php?title=Selvmotsigelse&oldid=11894975»