Contradictie: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Aibot (overleg | bijdragen)
Theo Assen (overleg | bijdragen)
k linkcorrectie
Regel 1:
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 (wetenschap)|logica]] is <math>p \land \neg p</math> (lees: <math>p</math> en niet <math>p</math>). In de klassieke logica geldt de regel [[ex falso sequitur quodlibet]]: uit een tegenspraak kan elke gewenste uitspraak worden afgeleid. Een contradictie is een [[Vervulbaarheid|onvervulbare]] propositie want het is niet mogelijk de propositie waar te laten zijn.
 
==Zie ook==