SISSEJUHATUS MATEMAATILISSE LOOGIKASSE Kordamisküsimused (orienteeruv) Mõnede sümbolite tähendused sõna Materjal puudub & Konjuktsioon Ekvivalents üldisuskvantor Järeldumine Disjunktisoon ¬ Eitus olemasolukvantor Signatuur Implikatsioon Samaväärsus Loogiline järeldumine I. Lausearvutus Laused. Lausearvutuse tehted. Valem. Valemi tõeväärtus. Tõeväärtustabel. Laused Põhilised uuritavad objektid lausearvutuses on laused, mis võimaldavad pärineda ükskõik millisest valdkonnast. Oluline on, et igale lausearvutusele saaks vastavusse seada tõeväärtuse, mis kirjeldab lause tegelikkusele vastava määra. Eeldame, et käsitlevad laused rahuldavad järgmisi tingimusi:
a. FF 8. Liikmete elimineerimise reeglid a. F&T=F F&V=V FvT=T FvV=F 9. Implikatsiooni avaldis konjukstiooni ja disjunktsiooni kaudu a. FG(F&G) FGFvG 10. Konjuktsiooni ja disjunktsiooni avaldis omplikatiooni kaudu a. F&G=(FG) FvG=FG 11. Ekvivalentsi avaldis teiste tehete kaudu a. FGF&GvF&G FG(FG)&(GF) Järeldumine on olukord, kus mingi lause loetakse tõeseks, viidates mingite teiste lausete tõesusele. Järeldumine võib aset leida mitmel põhjusel. Def. Ütleme, et valemitest F1, F2, ..., Fn järeldub valem G, kui igal neis valemeid esinevate muutujate väärtustel, millel F1, F2, ..., Fn on tõesed, on ka G tõene. Asjaolu, et valemist F1, F2, ..., Fn järeldub valem G, tähistatakse F1, F2, ..., Fn |= G
annaabi.ee 
