Kui loogikaavaldises pole sulgudega määratud tehete järjekorda, siis KONJUNKTSIOONi, DISJUNKTSIOONi ja INVERSIOONi leidumisel avaldises . . . kõige esimesena tehakse loogikaavaldises INVERSIOON ...selle järel järgmisena tehakse KONJUNKTSIOON ...ja viimasena tehakse DISJUNKTSIOON Küsimus 10 Õige - Hinne 1,00 / 1,00 Vali loetelust õige alternatiivne nimetus nendele loogikatehetele. implikatsioon on järeldamine konjunktsioon on JA-tehe disjunktsioon on VÕI-tehe
Vali üks või enam: topelteituse seadus neeldumisseadus DeMorgani seadus vastuolu seadus ÕIGE eeldusseadus päritolu seadus välistatud teise seadus topeltjaatuse seadus kontrapositsiooni seadus Morgani seadus välistatud kolmanda seadus Küsimus 7 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst Vali loetelust õige alternatiivne nimetus nendele loogikatehetele. konjunktsioon on JA-tehe disjunktsioon on VÕI-tehe implikatsioon on järeldamine Küsimus 8 Õige Hinne 1,00 / 1,00 Flag question Küsimuse tekst Milliseid kvantoreid on võimalik EITADA? Vali üks või enam: olemasolu kvantorit tõekvantorit lausekvantorit ühtegi kvantorit ei saa eitada Küsimus 9 Õige Hinne 1,00 / 1,00
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" Question 3 Vali loetelust õige alternatiivne nimetus nendele loogikatehetele. Correct Mark 1 out of 1 konjunktsioon on disjunktsioon on implikatsioon on Question 4 otsusta, kas see väide on tõene või vale: Correct
korral(konjunktsioon, disjunktsioon, implikatsioon, ekvivalents). Unaarne tehe on tehe, mida saab rakendada üksikule argumendile/operandile(inversioon). Ekvivalents on kahepoolne implikatsioon. Elementaarsed loogikatehted on inversioon, konjunktsioon, disjunktsioon, kuna nende abil saab esitada kõik teised tehted. Lausearvutus valem on lausearvutuslause tähis ja üksik tõeväärtus. Prioriteedijärjestus loogikatehetele on inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents. Lause on samaselt tõene, kui lause omab tõeväärtust 1 ükskõik milliste väärtuskombinatsioonide korral. Tautoloogia. Lause on samasselt väär, kui lause omab tõeväärtust 0 ükskõik milliste väärtuskombinatisoonide korral. Vastuolu. Predikaat on lause, mis sisaldab ühte või enamat muutujat.
Järeldamistehe on implikatsioon Vastus 5 Eitus on inversioon Küsimus 5 Õige Hinne 1,00 / 1,00 Millised kvantorid on olemas? Vali üks või enam: Tõekvantor Olemasolu kvantor Loogikakvantor Üldsuse kvantor Lausekvantor Normaalkvantor Küsimus 6 Õige Hinne 1,00 / 1,00 Vali loetelust õige alternatiivne nimetus nendele loogikatehetele. Vastus 1 implikatsioon on järeldamine Vastus 2 konjunktsioon on JA-tehe Vastus 3 disjunktsioon on VÕI-tehe Küsimus 7 Õige Hinne 1,00 / 1,00 Milliseid kvantoreid on võimalik EITADA? Vali üks või enam: tõekvantorit ühtegi kvantorit ei saa eitada lausekvantorit
- leidub fakte, mis räägivad teesile vastu. - arutluse või eelduste (põhjendite) kriitika. - tõestatakse, et teesist järgneb paratamatult järeldus, mis ei vasta tegelikkusele - tõestatakse antitees – kui antitees on tõene, siis tees on väär (A–O; E–I) 34. MODAALSED OTSUSTUSED. VÕIMALIKKUS JA PARATAMATUS. Aleetilised modaalsed laused väljendavad paratamatust, võimalikkust, sattumuslikkust ja mittevõimalikkust. Klassikalistele loogikatehetele lisanduvad võimalikkuse märk (ruut nurga peal) ja paratamatuse märk (ruut külje peal). Iga tõene lause on võimalik, iga paratamatu lause on tõene. Loogiliselt paratamatu lause on tõene kõikides võimalikes maailmades. Loogiliselt võimalik on kõik see, mis võib kehtida vähemalt ühes võimalikus maailmas (ja see, mis kehtib tegelikult). Loogiliselt mittevõimalik on kõik see, mis pole võimalik mitte üheski võimalikus maailmas.
- leidub fakte, mis räägivad teesile vastu. - arutluse või eelduste (põhjendite) kriitika. - tõestatakse, et teesist järgneb paratamatult järeldus, mis ei vasta tegelikkusele - tõestatakse antitees kui antitees on tõene, siis tees on väär (AO; EI) 34. MODAALSED OTSUSTUSED. VÕIMALIKKUS JA PARATAMATUS. Aleetilised modaalsed laused väljendavad paratamatust, võimalikkust, sattumuslikkust ja mittevõimalikkust. Klassikalistele loogikatehetele lisanduvad võimalikkuse märk (ruut nurga peal) ja paratamatuse märk (ruut külje peal). Iga tõene lause on võimalik, iga paratamatu lause on tõene. Loogiliselt paratamatu lause on tõene kõikides võimalikes maailmades. Loogiliselt võimalik on kõik see, mis võib kehtida vähemalt ühes võimalikus maailmas (ja see, mis kehtib tegelikult). Loogiliselt mittevõimalik on kõik see, mis pole võimalik mitte üheski võimalikus maailmas.
tuleb teada süsteemi moodustavate funktsioonide omadusi ehk nende kuulumist või mittekuulumist klassidesse K0 K1 Kp Km Kl Loogikafunktsioonide (loogikatehete) süsteem on loogikafunktsioonide hulk. Süsteemi võivad kuuluda lisaks loogikatehetele ka konstandid 0 ja 1 , mis on vaadeldavad muutujatest mittesõltuvate funktsioonidena. Loogikatehete omaduste määramiseks tuleb võtta vaatluse alla need näide: { & → ¯ ¯ } on kolme loogikatehtega süsteem; 2-muutuja funktsioonid, mis neid tehteid esitavad. Eelpool vaadeldud 16-st 2-muutuja funktsioonist f 0 . . . f 15 keskendume järgnevatele:
annaabi.ee 
