Loogika konspekt 1-5
tõeväärtus on tema osalausete tõeväärtuste funktsioon.
Lausearvutuse tähestik:
· lausemuutujate sümbolid: A, B, C, B2, ... (suurtähed);
(väiketähed: p, q, ... tähistavad metamuutujaid);
· loogilised konstandid: tõene ja väär ;
· loogiliste tehete sümbolid: ¬, &, , , (prioriteedi langemise järjekorras);
· kirjavahemärgid: (), [ ] ;
Tarvis on veel metasümboleid:
· võrdusmärk ehk objektideevahelise võrduse seos: =; selle asemel võib (ja on mõnikord
täpsemgi) kasutada samasuse sümbolit: ;
· lausete vastastikune järeldumine ehk seos ,,siis ja ainult siis kui":
· lause järeldumine teisest lausest ehk seos ,,kui ... siis ..." :
Lausearvutuse valemid saame kirjutades laused üles sümbolkujul. Laused on
asendatavad oma tõeväärtusega, seega võime laused ise kõrvale jätta ja kasutada ainult
valemeid.
Lausearvutuse süntaks (induktiivne definitsioon):
annaabi.ee 
