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.