Milline lause on lausearvutus lause? Lausearvutus lause võib olla iga verbaalne väide, millele saame omistada tõevaartuse, ehk kas ta on tõene või väär, 1 või 0. Lausearvutus lause peab omandama ühe tõeväärtuse nendest kahest alternatiivist. Millised tõeväärtused on olemas? Kuidas neid tähistatakse? On olemas kaks tõeväärtust, 0 ja 1 ehk vastavalt kas väär või tõene. Milline lause on lihtlause? Lihtlaused on lihtsaimad lausearvutusvalemid.Neid ei saa jagada enam veelgi lihtsamateks lauseteks. Kuidas lausearvutuslauseid tavaliselt tähistatakse? Lausearvutus lauseid tähistame formaalselt suurtähtedega A,B,P,Q..... . Mis on liitlause?Kuidas ja millest neid moodustatakse? Lihtlausetest koostatakse kindlate sidesõnade ja loogiliste konstruktsioonide abil liitlauseid. Lihtlaused seotakse liitlauseks 5 loogikatehte abil, millest 4 on binaarsed, 1 on unaarne ja selleks on eitus. Millised on lausearvutuse loogikatehted
Eksistentsikvantor kehtib vähemalt ühe väärtuse korral, disjunktsioonid = 1. Seotud muutuja on muutuja, millele on omistatud kvantor. Vaba muutuja on muutuja, millele ei ole kvantorit omistatud. Hüüumärgiga ekistentsikvantor tähendab, et eksisteerib ainult üks selline väärtus. Kaks predikaati on võrdväärsed kui nad omavad sama tõeväärtust. Loogikaseadused on lihtsaimad samaselt tõesed lausearvutusvalemid. Assotsiatiivsusseadus on sama, mis „vastus ei olene tehete järjekorrast“. Kommutatiivsusseadus on sama, mis „vastus ei olene operandide järjekorrast“. Kommutatiivne pole ainult implikatsiooni tehe. Distributiivsus esitab lahtiliitmist ja lahtikorrutamist. DeMorgani seadused kehtivad ükskõik mitme muutuja korral. Loogika seadusi rakendatakse, et saada lausest uut, samaväärset lauset. Hulgad:
vaba, kui predikaatmuutuja on kvantormärgiga mitteseotud (∀𝑥𝑃(𝑥,𝑦) korral x on seotud ja y vaba muutuja). Hüüumärgiga eksistentsikvantor tähendab, et „leidub täpselt üks x …“. Kvantorid on omavahel seotud nagu ∀𝑥𝑃(𝑥)≡∃̅𝑥∃𝑃̅(𝑥). Predikaadid on võrdväärsed (ekvivalentsed), kui nende tõeväärtuspiirkonnad langevad kokku. Loogikaseadused on kuni kolme operandiga lihtsaimad samaselt tõesed lausearvutusvalemid ja samaselt tõesed lausearvutusvalemite võrdused. Implikatsioon ei ole kommutatiivne. HULGAD Hulk on koosvaadeldavate hulgaelementide kogum. Hulk koosneb hulgaelementidest. Hulka tähistatakse suurtähtedega A B C D. Hulka esitatakse tema elementide täieliku loeteluna { 𝑎 𝑏 𝑐 }, osalise loeteluna { … ,−1 ,0 ,1 ,… }, üldise avaldise kaudu { 𝑛 |(𝑛>1899)∧(𝑛<2000) }. Hulgad on võrdsed, kui nad koosnevad samadest elementidest { 1 3 5 }={ 5 1 3 }. Elemendi e
kui talle on rakendatud kvantorit ja vaba, kui predikaatmuutuja on kvantormärgiga mitteseotud (∀𝑥𝑃(𝑥, 𝑦) korral x on seotud ja y vaba muutuja). Hüüumärgiga eksistentsikvantor tähendab, et „leidub täpselt üks x …“. Kvantorid on omavahel seotud nagu ∀𝑥𝑃(𝑥) ≡ ∃ ̅𝑥∃𝑃̅(𝑥). Predikaadid on võrdväärsed (ekvivalentsed), kui nende tõeväärtuspiirkonnad langevad kokku. Loogikaseadused on kuni kolme operandiga lihtsaimad samaselt tõesed lausearvutusvalemid ja samaselt tõesed lausearvutusvalemite võrdused. Implikatsioon ei ole kommutatiivne. Assotsiatiivsus 𝐴 ∨ 𝐵 ∨ 𝐶 = (𝐴 ∨ 𝐵) ∨ 𝐶 = 𝐴 ∨ (𝐵 ∨ 𝐶) ; 𝐴 ∧ 𝐵 ∧ 𝐶 = (𝐴 ∧ 𝐵) ∧ 𝐶 = 𝐴 ∧ (𝐵 ∧ 𝐶) Kommutatiivsus 𝐴 ∧ 𝐵 = 𝐵 ∧𝐴 ;𝐴 ∨ 𝐵 = 𝐵 ∨𝐴 Idempotentsus 𝐴 ∧ 𝐴 = 𝐴 ;𝐴 ∨𝐴 = 𝐴
Väljas on pime (siis ja) ainult siis, kui päike on loojunud ja pole suvi või päikesevarjutus kestab 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
annaabi.ee 
