1. Milliste loogika tehete jaoks on operandide jrjekord oluline? Implikatsioon 2. Missugused seaduse tepoolest on olemas? Neeldumisseadus DeMorgani seadus vlistatud kolmanda seadus kontrapositsiooniseadus vastuolu seadus topelteituse seadus 3. "TAUTOLOOGIA" on lause, mis on alati vr? False 4. Vali loetelust alternatiivne nimetus neile loogika tehetele! Disjunktsioon - VI-tehe Konjunktsioon - JA-tehe Implikatsioon - jreldamine 5. Milliseid kvantoreid on vimalik eitada? Olemasolu kvantorit 6. Millised kvantorid on olemas? Olemasolukvantor ldsusekvantor 7. Kui loogikaavaldises pole sulgudega mratud tehete jrjekorda,siis KONJUNKTSIOONI, INVERSIOONI, DISJUNKTSIOONI leidumisel tehaksekigepealt... a-inversioon b-konjunktsioon c-disjunktsioon 8. Mitu erinevat tehet kasutatakse lausearvutuses? 5 9. Loogika tehetel on olemas vrsnalised nimetused! Loogiline korrutamine - kon...
Kuidas nimetatakse teisiti ühekohalisi predikaate? Ühekohalisi predikaate nimetatakse omaduseks. Mida näitab predikaadi määramispiirkond? Näitab, milliseid väärtusi võib predikaatmuutuja omandada. Millal on predikaatlause täidetav ehk kehtestatav? Kui ta on tõene ainult osade muutujaväärtuste x korral, ehk on tõene osas oma määramispiirkonnas. Millised kvantorid on olemas? Millised on nende tähised? On olemas kaks kvantorit, nendeks on Üldsuse kvantor(tagurpidi A) ja eksistentsikvantor(Peegelpildis E). Üldsuse kvantor näitab, et predikaat kehtib oma määramispiirkonna kõikide muutujate väärtuste korral. Eksistentsi kvantor näitab, et predikaat kehtib vähemalt ühe oma määramispiirkonna muutuja väärtuste puhul. Millise loogikatehte üldistuseks on üldsuse kvantor? Konjuktsioon Millise loogikatehte üldistuseks on eksistentsikvantor? Disjunktsioon Millist muutujat nimetatakse seotud muutujaks ja millist vabaks muutujaks?
Küsimus 6 Õige - Hinne 1,00 / 1,00 Milliseid kvantoreid on võimalik EITADA? Vali üks või enam: lausekvantorit olemasolu kvantorit tõekvantorit ühtegi kvantorit ei saa eitada Küsimus 7 Õige - Hinne 1,00 / 1,00 Milliste loogikatehete jaoks on operandide järjekord oluline? Vali üks või enam: distributsioon ekvivalents disjunktsioon konjunktsioon implikatsioon inversioon Küsimus 8 Õige - Hinne 1,00 / 1,00 Mida tähendab hüüumärgiga eksistentsikvantor? Vali üks: hüüumärk täpsustab, et "leidub täpselt 1" hüüumärk muudab kvantori tähenduse vastupidiseks hüüumärk rõhutab kvantori suurt tähtsust Küsimus 9 Õige - Hinne 1,00 / 1,00 Kui loogikaavaldises pole sulgudega määratud tehete järjekorda, siis KONJUNKTSIOONi, DISJUNKTSIOONi ja INVERSIOONi leidumisel avaldises . . . kõige esimesena tehakse loogikaavaldises INVERSIOON ..
Küsimus 5 ja 6 !! otsusta, kas see väide on tõene või vale: "Tautoloogia" on lause, mille tõeväärtus on alati VALE. Vali üks: Tõene Väär Küsimus 2 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst Mida tähendab hüüumärgiga eksistentsikvantor? Vali üks: hüüumärk täpsustab, et "leidub täpselt 1" hüüumärk rõhutab kvantori suurt tähtsust hüüumärk muudab kvantori tähenduse vastupidiseks Küsimus 3 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst Mitut erinevat loogikatehet kasutatakse lausearvutuses? (sisesta arv/number: ) Answer: 5 Küsimus 4 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst
ühtegi kvantorit ei saa eitada tõekvantorit lausekvantorit olemasolu kvantorit Question 2 Mida tähendab hüüumärgiga eksistentsikvantor? Correct Mark 1 out of 1 Select one: hüüumärk rõhutab kvantori suurt tähtsust hüüumärk muudab kvantori tähenduse vastupidiseks hüüumärk täpsustab, et "leidub täpselt 1"
väiketähtedega. Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada. Predikaatlause P(x) on täidetav ehk kehtestatav, kui ta on tõene ainult osade muutujaväärtuste x korral (ehk tõene osas oma määramispiirkonnas) ; samaselt tõene, kui ta on kehtiv kogu oma mpk-s ; samaselt väär, kui ta ei kehti oma mpk mitte mingite muutujaväärtuste korral. Kvantoriteks on üldsuse kvantor ja eksistentsikvantor. Muutuja on seotud, 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
Ühekohalist predikaati nimetatakse omaduseks. Predikaadi määramispiirkond näitab võimalikke muutujale omistatavaid väärtuste piirkonda. Predikaat on täidetav või kehtestatav, kui ekisteerib selline muutuja väärtus, mille korral on lause tõene. On olemas üldsuse ja eksistentikvantoreid. Üldsuse kvantor kehtib iga väärtuse korral, konjunktsioonid = 1. 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.
v tõeväärtuse väär sümbol järeldumine x, y, x1, x2... y1, y2... üksikobjektide muutujad P, Q... P1, Q1... , 1, 2 predikaatide sümbolid a, b, c... a1, b1, c1... konstantsete üksikobjektide sümbolid üldistuskvantor (loetakse: iga, kõik) eksistentsikvantor (loetakse: leidub, mõni) Tabel nr 2. Loogiliste tehete tõeväärtused. Eitus p ¬p t v v t Konjunktsioon p q p&q t t t t v v v t v v v v Disjunktsioon p q pq t t t t v t v t t v v v Implikatsioon p q pq t t t t v v
Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada. Predikaatlause P(x) on täidetav ehk kehtestatav, kui ta on tõene ainult osade muutujaväärtuste x korral (ehk tõene osas oma määramispiirkonnas) ; samaselt tõene, kui ta on kehtiv kogu oma mpk-s ; samaselt väär, kui ta ei kehti oma mpk mitte mingite muutujaväärtuste korral. Kvantoriteks on üldsuse kvantor ja eksistentsikvantor. Muutuja on seotud, 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
LAUSEARVUTUS Küsimus 1 Õige Hinne 1,00 / 1,00 otsusta, kas see väide on tõene või vale: "Tautoloogia" on lause, mille tõeväärtus on alati VALE. Tõene Väär Küsimus 2 Õige Hinne 1,00 / 1,00 Mida tähendab hüüumärgiga eksistentsikvantor? Vali üks: hüüumärk muudab kvantori tähenduse vastupidiseks hüüumärk täpsustab, et "leidub täpselt 1" hüüumärk rõhutab kvantori suurt tähtsust Küsimus 3 Õige Hinne 1,00 / 1,00 Kui loogikaavaldises pole sulgudega määratud tehete järjekorda, siis KONJUNKTSIOONi, DISJUNKTSIOONi ja INVERSIOONi leidumisel avaldises . . . Vastus 1 kõige esimesena tehakse loogikaavaldises INVERSIOON
__ Kvantorid ∀ ja ∃ sobivad seega predikaadi P (x) kehtestatavuse Eksistentsikvantorit saab ka "eitada": ∃x "ei leidu . . ." täpsustamiseks nii lõpliku määramispiirkonna kui ka lõpmatult suure Hüüumärgiga eksistentsikvantor ∃! x väidab seotud muutuja kohta: määramispiirkonna korral. "leidub täpselt üks . . ." Kui predikaadile P (x) on rakendatud kvantorit, siis ta omandab kohe tõeväärtuse (tõene või vale) ja ta tõeväärtus ei olene enam Kvantorid ∀ ja ∃ on omavahel seotud järgneva samaväärsusega: predikaatmuutujale x omistatud konkreetsest väärtusest
annaabi.ee 
