Contradictie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Wijzigingen door 193.108.210.3 hersteld tot de versie na de laatste wijziging door Jahsonic |
plus link naar Vervulbaarheid |
||
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]] 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==
| |||