Contradictie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: ur:تضارب (منطق) |
Geen bewerkingssamenvatting |
||
Regel 1:
Een '''contradictie''' of '''tegenspraak''' is een situatie waarbij twee
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.
| |||