Ero sivun ”Kolmannen poissuljetun laki” versioiden välillä

[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
Tomisti (keskustelu | muokkaukset)
Viite
Tomisti (keskustelu | muokkaukset)
Tertium non datur
Rivi 1:
'''Kolmannen poissuljetun laki''' ({{k-la|principium tertii exclusi}} tai ''tertium non datur'') on [[logiikka|logiikan]] laki, jonka mukaan jokin [[väittämä]] p voi olla vain [[totuus|tosi]] tai epätosi, kolmatta vaihtoehtoa ei ole. Lain mukaan väite A&nbsp;∨&nbsp;¬A (A tai ei-A) on aina tosi.<ref name="Korte">{{Verkkoviite | Osoite=http://www.soc.utu.fi/laitokset/filosofia/opiskelu/opetusmateriaalit/sanastoa.pdf | Tekijä=Korte, Tapio | Nimeke=Filosofian keskeistä terminologiaa | Viitattu=28. tammikuuta 2008}}</ref> [[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 ==