Wet van de uitgesloten derde
Van Wikipedia
De wet van de uitgesloten derde, ook wel tertium non datur (Lat., "een derde is er niet"), is een logische wet die inhoudt dat iedere uitspraak danwel waar is, danwel onwaar; de 'uitgesloten derde' is dus iedere andere denkbare waarheidswaarde. Een logica die voldoet aan de wet heet klassiek of tweewaardig. Logica's die niet voldoen aan de wet zijn de 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 bewijzen uit het ongerijmde.
Wanneer de wet verkeerd toegepast wordt, kan dit leiden tot de drogreden van het vals dilemma.
