Kontradiktion

En kontradiktion er et udsagn, der modsiger sig selv. Det udtrykker et forhold, der af logiske grunde ikke kan være sande på samme tid. Et eksempel kunne være "det er mørkt" og "det er lyst", da begge dele ikke kan være sande på samme tid er det en kontradiktion. Ifølge Aristoteles er princippet et logisk aksiom, da en benægtelse vil underbygge dets gyldighed.

Det modsatte udsagn, der er sandt for alle tildelinger af værdier af udtrykket, kaldes en tautologi.