Kvantorimärgiga mitteseotud predikaatmuutujaid nimetatakse vabadeks muutujateks. Mida tähendab hüüumärgiga eksistentsikvantor? Tähendab, et leidub täpselt üks. Millal on kaks predikaati võrdväärsed? Predikaadid on võrvdväärsed, kui nende tõeväärtuspiirkonnad langevad kokku. Mida nimetatakse loogikaseadusteks? Loogikaseadused on kuni kolme operandiga lihtsaimad samaselt tõesed lausearvutusvalemid ja samaselt tõesed lausearvutusvalemite võrdused. Õpi Loogikaseadused selgeks!(LK 22-23) Milline binaarne loogikatehe ei ole kommutatiivne. Selleks peaks olema implikatsioon. Millist avaldise teisendusvõimalust esitab distributiivsusseadus? Sulgude ette toomist. Millise loogikaväärtusega disjunktsioon ei muuda avaldise väärtust? 0 väärtuse puhul? Millise loogikaväärtusega konjuktsioon ei muuda avaldise väärtust? 1 väärtuse puhul?
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
(∀𝑥𝑃(𝑥, 𝑦) 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 𝐴 ∧ 𝐴 = 𝐴 ;𝐴 ∨𝐴 = 𝐴 Neeldumine 𝐴 ∧ (𝐴 ∨ 𝐵) = 𝐴 ; 𝐴 ∨ (𝐴 ∧ 𝐵) = 𝐴
annaabi.ee 
