Wet van de uitgesloten derde: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: eo:Leĝo pri elimino de tria, is:Lögmálið um annað tveggja |
k linkcorrectie |
||
Regel 1:
De '''wet van de uitgesloten derde''', ook wel '''''tertium non datur''''' ([[Latijn|Lat.]], "een derde is er niet"), is een [[logica (wetenschap)|logische]] wet die inhoudt dat iedere [[propositie|uitspraak]] danwel [[waarheid|waar]] is, danwel onwaar; de 'uitgesloten derde' is dus iedere andere denkbare [[waarheidswaarde]]. Een logica die voldoet aan de wet heet [[klassieke logica|klassiek]] of tweewaardig. Logica's die niet voldoen aan de wet zijn de [[Intuïtionisme#Intuïtionistische formele logica|intuïtionistische]] en de verschillende [[meerwaardige logica]]'s.
Het al dan niet volgen van de wet van de uitgesloten derde heeft aanzienlijke implicaties voor de acceptatie van bepaalde bewijzen, met name [[Reductio ad absurdum|bewijzen uit het ongerijmde]].
| |||