Matemaatiline maailmapilt
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
· paradoksaalsed laused, millele ei saa üheselt omistada tõeväärtust
· mõnes valdkonnas ei mõelda kahevalentselt
Vastavatel juhtudel ja valdkondades ei saa lausearvutust kasutada.
Näide: Lausearvutuse laused on:
,,Tallinn on Eesti pealinn."
,,Sead suudavad lennata."
,,Mis tahes reaalarvude a ja b korral a + b = b + a."
Näide: Lausearvutuse laused ei ole:
,,Kuidas läheb?"
,,Ma valetan praegu."
,,Korrutage arvud 5 ja 9."
Analoogia saavutamiseks algebraliste operatsioonidega lepitakse veel kokku:
3