Matemaatiline maailmapilt
LOENG
Lausearvutuse põhimõisted
Loogika (kr. logiké techne mõtlemiskunst, logos sõna, mõiste, mõistus) on teadus
õigest mõtlemisest, selle vormidest ja struktuuridest.
Traditsioonilise loogika aluseks on mõtlemisseadused, mida kutsutakse ka loogika
aksioomideks:
1. samasuse seadus
2. vasturääkivuste lubamatuse seadus
3. välistatud kolmanda seadus
4. küllaldase aluse seadus
Matemaatiline loogika on loogika haru, milles loogikaprobleemide käsitlemiseks kasutatakse
matemaatilisi meetodeid.
Kokkulepped:
Lausearvutuse lauseks võib olla igasugune lause, mille puhul saame rääkida selle sisu
vastavusest tegelikkusele. Seejuures eeldame, et
1. Iga lause on kas tõene või väär (välistatud kolmanda seadus)
2. Ükski lause ei ole korraga tõene ja väär (mittevasturääkivuse seadus).
Leidub loomuliku keele lauseid, mis neid tingimusi ei rahulda:
· küsi- ja hüüdlaused, mis midagi ei väida
annaabi.ee 
