Selvmotsigelse

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.