Contradictie

Een contradictie of tegenspraak is een situatie waarbij twee beweringen of waarnemingen die elkaar uitsluiten, tegelijkertijd waar moeten zijn.

Een voorbeeld van een contradictie in de logica is $p \land \neg p$ (lees: $p$ en niet $p$). In de klassieke en de intuitionistische logica geldt de regel ex falso sequitur quod libet: uit een tegenspraak kan elke gewenste uitspraak worden afgeleid. Een contradictie is een onvervulbare propositie want het is niet mogelijk de propositie waar te laten zijn.

Zie ook

• Antinomie
• Contradictio in terminis
• Paradox (logica)
• Paradox (stijlfiguur)
• Wet van de non-contradictie