Kolmannen poissuljetun laki

Antsawikistä
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ä]

  1. Korte, Tapio: Filosofian keskeistä terminologiaa soc.utu.fi. Viitattu 28. tammikuuta 2008.
Tämä filosofiaan liittyvä artikkeli on tynkä. Voit auttaa Antsawikiä laajentamalla artikkelia.