Ekvivalentsitehete mõlemad operandid on samaaegselt teineteise eelduseks ja järelduseks ehk P<->Q puhul P->Q ja Q<-P Millised on elementaarsed loogikatehted. Miks neid nimetatakse elementaarseteks? Nendeks on inversioon, konjuktsioon ja disjunktsioon. Nad on elementaarsed, kuna ei ole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi lihtsaimad. Mis on lausearuvutsvalem? Lausearvutus valemi definitsioon. Nii liht kui ka liitlausete formaalseid esitusi nimetatakse lausearvutusvalemiteks.+ Definitsioon: Lihtlause formaalne tähis, näiteks A ja üksik tõeväärtuskonstant 0 või 1 on valem. Lausearvutuses kasutatavate loogikatehete definitsioonid, tõeväärtustabelina. Inversioon Konjuktsioon Disjunktsioon Implikatsioon Ekvivalents A B ~A A&B AvB A->B A<->B 0 0 1 0 0 1 1
Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI- tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷↔𝑸 on nagu 𝑃→𝑄 ja samal ajal ka 𝑄→𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem. Kui A on valem, siis valemid on ka 𝐴̅ ja (A). Kui A ja B on valemid, siis on valemid ka 𝐴∧𝐵,𝐴∨𝐵,𝐴→𝐵,𝐴↔𝐵. Loogikatehete prioriteet: inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents. Samaselt tõene ehk tautoloogia on lause, mis omandab tõeväärtuse 1 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴∨𝐴̅)
lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI-tehe. Ekvivalents on seotud implikatsiooniga ehk 𝑷 ↔ 𝑸 on nagu 𝑃 → 𝑄 ja samal ajal ka 𝑄 → 𝑃. Tehted inversioon, konjunktsioon ja disjunktsioon on elementaarsed loogikatehted – nad pole avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi „lihtsaimad“ tehted. Nii liht- kui ka liitlausete formaalseid esitusi nim lausearvutusvalemiteks -> Def – Lihtlause formaalne tähis (nt: A) ja üksik tõeväärtuskonstant 0 1 on valem. Kui A on valem, siis valemid on ka 𝐴̅ ja (A). Kui A ja B on valemid, siis on valemid ka 𝐴 ∧ 𝐵, 𝐴 ∨ 𝐵, 𝐴 → 𝐵, 𝐴 ↔ 𝐵. Loogikatehete prioriteet: inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents. Samaselt tõene ehk tautoloogia on lause, mis omandab tõeväärtuse 1 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴 ∨ 𝐴̅)
kui P ↔ Q siis P → Q ja samal ajal ka Q → P __ LAUSEARVUTUSVALEMID P ↔ (L ∧ S ∨ R) Nii liht- kui ka liitlausete formaalseid esitusi nimetatakse lausearvutusvalemiteks. Kui on suvi või päike pole loojunud, siis väljas Lausearvutusvalem on defineeritud järgnevalt: pole pime — Lihtlause formaalne tähis ja tõeväärtuskonstant on valem: A 0 1 __ __ __ (S ∨ L) → P
annaabi.ee 
