Contradictie

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

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 (lees: en niet ). 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[bewerken]