Kolmannen poissuljetun laki
Siirry navigaatioon
Siirry hakuun
Kolmannen poissuljetun laki (lat. principium tertii exclusi 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.[1] 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[muokkaa | muokkaa wikitekstiä]
- ↑ Korte, Tapio: Filosofian keskeistä terminologiaa soc.utu.fi. Viitattu 28. tammikuuta 2008.