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 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[bewerken]