1 1 0 1 1 1 1 Milline on loogikatehete prioriteedijärjestus? Millal see oluliseks osutub? Järjekord: Inversioon,konjuktsioon,disjunktsioon,implikatsioon,ekvivalents. Osutub oluliseks, kui sulgudega pole tehete järjekord ära määratud. Milline lause on samaselt tõene? Mis on tautoloogia? Samaselt tõene on lause, kui ta omandab tõeväärtuse 1 koostislausete mistahes väärtuskombinatsiooni korral. Samaselt tõene lause on teisisõnu tautoloogia. Milline lause on samaselt väär? Mis on vastuolu? Samaselt väär on lause, kui ta omandab tõeväärtuse 0 koostislausete mistahes väärtuskombinatsiooni korral. Samaselt väär lause on teisisõnu vastuolu. Millega asendatav on samaselt tõene lause ja samaselt väär lause? Samaselt tõene asendada konstandiga 1 ja samaselt väär konstandiga 0. Mis on predikaat?
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: 𝐴∨𝐴̅). Samaselt väär ehk vastuolu on lause, mis omandab tõeväärtuse 0 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴∧𝐴̅). Samaselt tõesed laused võib kõikjal asendada konstandiga 1, samaselt väärad konstandiga 0. Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. Kui predikaadi muutujad asendada mingite konkreetsete
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: 𝐴 ∨ 𝐴̅). Samaselt väär ehk vastuolu on lause, mis omandab tõeväärtuse 0 koostislausete mistahes väärtuskombinatsiooni korral (nt: 𝐴 ∧ 𝐴̅). Samaselt tõesed laused võib kõikjal asendada konstandiga 1, samaselt väärad konstandiga 0. Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. Kui predikaadi muutujad asendada mingite
ülesanded: Olgu lihtlaused järgnevate tõeväärtustega: ———————————————————————————————————————————— S = 0 O = 1 V = 0 Lause on samaselt tõene, kui ta omandab tõeväärtuse 1 koostislausete mistahes väärtuskombinatsioonide korral. P = 1 L = 1 M = 1 Samaselt tõest lauset nimetatakse ka tautoloogiaks. H = 0 Lause on samaselt väär, kui ta omandab tõeväärtuse 0 koostislausete