v t 0 1 Välistatud kolmanda seadusest (Iga lause on kas tõene või väär, kolmandat võimalust ei ole), saame järeldada, et ¬¬p = p Eitus on unaarne (ühe operandiga) tehe ning lausearvutuses kõige kõrgema prioriteediga. Järgnevad teheted on kõik binaarsed (kahe operandiga). KONJUNKTSIOON (conjunction): Lausete p ja q konjunktsiooniks nimetatakse lauset, mis on tõene parajasti siis, kui mõlemad komponentlaused on tõesed. Konjunktsioon sisaldab enamasti seost ja või ning. Nt: Kass näub ja koer haugub. Kass näub ja tiiger näub. Konjunktsiooni sisaldava lause saab alati ümber sõnastada seosele: nii ... kui ka ... Nii kass näub kui ka koer haugub. Tähistused: p & q pq p·q p and q Konjunktsiooni tõeväärtustabel (kahel samaväärsel kujul): p q p&q p q p&q t t t 1 1 1
Tõeväärtustabelid on kahesugused. Ühtede puhul lähtutakse lausemuutujatest (mille tõeväärtused sõltuvad interpretatsioonist), teiste puhul metamuutujatest, mille väärtusteks olevatel lausetel võivad olla erinevad tõeväärtused. Tõeväärtustabelid räägivad alati mingist tehtest või tehetest. Tõeväärtustabelites on neli piirkonda. Esimest liiki tõesustabelite korral kirjutatakse ülemisse vasakusse nurka algsed lihtlaused ehk komponentlaused (neid võib olla ka vaid üks), millest tehete abil moodustatakse uus lause (erijuhul võib see olla ka esialgne lause). Komponentlausetest tehete abil moodustatud tulemlause ehk tulem – lihtlausetest koostatud avaldis (üldjuhul liitlause) – kirjutatakse tõeväärtustabeli ülemisse paremasse nurka. Tulemuseks saadud lause tõeväärtus on määratud komponentlausete tõeväärtustega konkreetse interpretatsiooni korral.
Tõeväärtustabelid on kahesugused. Ühtede puhul lähtutakse lausemuutujatest (mille tõeväärtused sõltuvad interpretatsioonist), teiste puhul metamuutujatest, mille väärtusteks olevatel lausetel võivad olla erinevad tõeväärtused. Tõeväärtustabelid räägivad alati mingist tehtest või tehetest. Tõeväärtustabelites on neli piirkonda. Esimest liiki tõesustabelite korral kirjutatakse ülemisse vasakusse nurka algsed lihtlaused ehk komponentlaused (neid võib olla ka vaid üks), millest tehete abil moodustatakse uus lause (erijuhul võib see olla ka esialgne lause). Komponentlausetest tehete abil moodustatud tulemlause ehk tulem lihtlausetest koostatud avaldis (üldjuhul liitlause) kirjutatakse tõeväärtustabeli ülemisse paremasse nurka. Tulemuseks saadud lause tõeväärtus on määratud komponentlausete tõeväärtustega konkreetse interpretatsiooni korral.
annaabi.ee 
