Kontradiktion

Fra Wikipedia, den frie encyklopædi
Gå til: navigation, søg

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 lyst": da begge dele ikke kan være sande på samme tid, er udsagnet en kontradiktion. Ifølge Aristoteles er princippet et logisk aksiom, da en benægtelse vil underbygge dets gyldighed. På dansk kaldes en kontradiktion også en absurditet, en selvmodsigelse eller en modstrid.

Symbolsk er den typiske form af en kontradiktion A \wedge \neg A .

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

Se også[redigér | redigér wikikode]