Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Free
Kiiremini kui brauser!
 

Välistatud kolmanda seadus

Index Välistatud kolmanda seadus

Välistatud kolmanda seadus ehk välistatud kolmanda reegel ehk välistatud kolmanda printsiip ehk välistatud kolmanda põhilause (ka tertium non datur, principium exclusi tertii) on reegel loogikas, mille kohaselt tõene on kas propositsioon või tema eitus, kolmandat võimalust pole.

6 suhted: Eitus, Intuitsionistlik loogika, Klassikaline loogika, Loogika, Propositsioon, Tõesus.

Eitus

Loogikas nimetatakse propositsiooni eituseks ehk negatsiooniks selle propositsiooniga kontradiktoorset propositsiooni.

Uus!!: Välistatud kolmanda seadus ja Eitus · Näe rohkem »

Intuitsionistlik loogika

Intuitsionistlik loogika (inglise intuitionistic logic) on mitteklassikaline loogika, millele pani aluse hollandi matemaatik Arend Heyting (1898-1980).

Uus!!: Välistatud kolmanda seadus ja Intuitsionistlik loogika · Näe rohkem »

Klassikaline loogika

Klassikaline loogika (inglise classical logic), ka standardloogika (inglise standard logic), on matemaatilise loogika osa, mis koosneb klassikalisest lauseloogikast ja predikaatloogikast.

Uus!!: Välistatud kolmanda seadus ja Klassikaline loogika · Näe rohkem »

Loogika

Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest.

Uus!!: Välistatud kolmanda seadus ja Loogika · Näe rohkem »

Propositsioon

Propositsioon on lausesisu ehk lause tähendus, see mida uskumuse puhul usutakse, soovi puhul soovitakse, teadmise puhul teatakse jne, ehk teisisõnu propositsioonilise hoiaku sisu.

Uus!!: Välistatud kolmanda seadus ja Propositsioon · Näe rohkem »

Tõesus

Tõesus on teatav omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.

Uus!!: Välistatud kolmanda seadus ja Tõesus · Näe rohkem »

Ümbersuunamised siin:

Principium exclusi tertii, Tertium non datur, Välistatud kolmanda printsiip, Välistatud kolmanda põhilause, Välistatud kolmanda reegel.

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »