Selvmotsigelse

Selvmotsigelse (Antologi kommer fra gresk, anti for mot og logos) og viser til et utsagn som med logisk nødvendighet er falsk eller strider mot logisk fornuft. En slik motsigelse kan komme til uttrykk mellom to påstander, teorier eller setninger.^[1][2]

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 | inklusiv disjunksjon (adjunksjon) | bisubjunksjon (ekvijunksjon,ekvivalens) | eksklusjon | subjunksjon (implikasjon) | injunksjon | konjunksjon | eksklusiv disjunksjon (alternativ, antivalens, kontrajunksjon, kontravalens) | negasjon