Kolmannen poissuljetun laki

logiikan laki

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

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