Contradictie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
completisme, niets is zonder reden doelloos |
- erg vreemd voorbeeld |
||
Regel 1:
Een '''contradictie''' of '''tegenspraak''' is een situatie waarbij twee [[bewering (logica)|bewering]]en of waarnemingen die elkaar uitsluiten, tegelijkertijd [[waarheid|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 en de [[intuitionisme|intuitionistische]] 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.
|