Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Inom den klassiska logiken utgår man från att alla påståenden antingen är sanna eller falska. Det får som konsekvens att givet ett påstående P är utsagan P eller icke P en tautologi, det vill säga, alltid sann oberoende av vad påståendet P är, till exempel "Antingen regnar det eller så regnar det inte". Påståendet P eller icke P brukar kallas lagen om det uteslutna tredje.

Som exempel på icke-klassisk logik kan nämnas intuitionistisk logik.

• Sanningsvärde
• Logik