Selvmotsigelse
Hopp til navigering
Hopp til søk
Denne artikkelen er foreløpig kort eller mangelfull. Du kan hjelpe Wikipedia ved å utvide eller endre den.
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.
Sannhetstabell (0 = usant, 1 = sant): |
Sannhetsfunksjoner: abjunksjon | adjunksjon | alternativ | antivalens | bisubjunksjon | disjunksjon | eksklusjon | ekvijunksjon | ekvivalens | implikasjon | injunksjon | konjunksjon | kontrajunksjon | kontravalens | negasjon | subjunksjon |
