Intuitsionistlik loogika
Intuitsionistlik loogika (inglise intuitionistic logic) on mitteklassikaline loogika, millele pani aluse hollandi matemaatik Arend Heyting (1898-1980).
Intuitsionistlikus loogikas ei tunnistata välistatud kolmanda seadust ega kahekordse eituse seadust (s.t väite eituse eitusest tulenevat jaatust).
Vaata ka
muuda🔥 Top keywords: Vikipeedia:EsilehtEri:Otsimine2024. aasta Euroopa meistrivõistlused jalgpallisKategooria:Eesti näitlejadArnold RüütelEri:Viimased muudatusedKategooria:Eesti kirjanikudRoomet LeigerEesti kirjanike loendKeemiliste elementide loendEestiKategooria:Eesti lauljadMarko KristalCarles PuigdemontGruusiaEuroopa meistrivõistlused jalgpallisLaura KalleJuunipõrnikasKategooria:Eesti heliloojadJaanipäevKategooria:Eesti maalikunstnikudInes AruKategooria:Hiiumaa valla küladIthaka MariaHagi ŠeinPulma-aastapäevEesti Konservatiivne RahvaerakondKategooria:Ameerika Ühendriikide osariigidKalade loendIngrid RüütelEesti kunstnike loendVõidupühaKategooria:Inglise kirjanikudPoolahvilisedIndrek SaarSuluseis (jalgpall)Kaja KallasKategooria:Ameerika Ühendriikide filminäitlejadKategooria:Kreeka tähestiku tähed