Kolmannen poissuljetun laki

Kolmannen poissuljetun laki ( tai tertium non datur) on logiikan laki, jonka mukaan jokin väittämä p voi olla vain tosi tai epätosi, kolmatta vaihtoehtoa ei ole. Lain mukaan väite A ∨ ¬A (A tai ei-A) on aina tosi. Kaksiarvoisuuden periaate liittyy läheisesti kolmannen poissuljetun lakiin, sillä sen mukaan jokainen väittämä on joko tosi tai epätosi. Kaksiarvoisuuden periaate ja kolmannen poissuljetun laki voidaan johtaa toinen toisistaan eli osoittaa lakien olevan yhtäpitäviä.

Lähteet 

Logiikka