title: Wet van de uitgesloten derde
text: De wet van de uitgesloten derde of van het uitgesloten midden, ook wel tertium non datur (Lat., "een derde is niet gegeven"), is een logische wet die inhoudt dat iedere uitspraak waar of 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 klassiek. 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.
  
  De wet is equivalent aan de regel van dubbele negatie-eliminatie in de natuurlijke deductie. Volgens deze regel kan uit een uitspraak van de vorm  ('niet niet ') de uitspraak  worden afgeleid.
  
  Wanneer de wet verkeerd wordt toegepast, kan dit leiden tot de drogreden van het valse dilemma.
  
  Logica