Wet van de uitgesloten derde: verschil tussen versies

De '''wet van de uitgesloten derde''' of '''van het uitgesloten midden''', ook wel '''''tertium non datur''''' ([[Latijn|Lat.]], "een derde is niet gegeven"), is een [[logica (wetenschap)|logische]] wet die inhoudt dat iedere [[propositie|uitspraak]] [[waarheid|waar]], dan welof onwaar is; een andere, derde, mogelijkheid is er niet. De 'uitgesloten derde' is dus iedere andere denkbare [[waarheidswaarde]]. Een logica die voldoet aan de wet heet [[klassieke logica|klassiek]]. Logica's die niet voldoen aan de wet zijn de [[Intuïtionisme#Intuïtionistische formele logica|intuïtionistische]] en de verschillende [[meerwaardige logica]]'s.