(For real, kuidas see erineb eelmisest loogika poolest?...) Mis on algterm? Algterm on avaldise koosseisu kuuluva loogikamuutuja või selle inversioon või konstant 0 1 Mis on elementaarkonjuktsioon? Mis on elementaardisjunktsioon? Elementaarkonjuktsioon on ükskik algterm või algtermide konjuktsioon. Nt x1x2x3,x1. Elementaardisjunktsioon on üksik algterm või algtermide disjunktsioon nt x1 v x2 v x3,x1 Mis on DNK? Mis on KNK? DNK on üksik elementaarkonjuktsioon või elementaarkonjuktsioonide disjunktsioon KNK on üksik elementaardisjunktsioon või elementaardisjunktsioonide konjuktsioon. Mis on TDNK? Mis on TKNK? TDNK on DNK, kus iga elementaarkonjuktsioon sisaldab funktsiooni kõiki muutujaid xi TKNK on KNK, kus iga elementaardisjunktsioon sisaldab funktsiooni kõiki muutujaid xi Mis on loogikaavaldise keerukus? Loogikaavaldise f keerukus L(f) on tema kooseisus olevate algtermide arv. Vt näidet lk 167 keskel. Mis on MDNK? Mis on MKNK?
60.Väitlause kvantiteeti väljendatakse tavaliselt … Kvantoriga. 61.Milline loetletud definitsioonitüüpidest ei kuulu intensionaalsete definitsioonide hulka? Ostensiivne definitsioon. 62.Deduktiivne arutlus enamasti suunatud: Üldiselt üldisele. 63.Seda osa sõna tähendusest, mida seostatakse assotsiatsioonide ja emotsioonidega, mida sõna esile kutsub, nimetatakse sõna… Konnotatiivseks tähenduseks. 64.Valem on disjunktiivsel normaalkujul, kui see koosneb: Elementaarkonjuktsioonide disjunktsioonidest. 65.Kategoorilises süllogismis esineb termini lubamatu laiendamine siis, kui termin: Esineb järelduses täies mahus, eelduses mitte. 66.Üldiseskvantori sissetoomisel (loomulikus tuletussüsteemis) tuleb asendada … Suvaline konstant kvantoriga seotud muutujaga. 67.Milline järgnevatest arutlustüüpidest kehtib liigitav-kategoorilise süllogismi korral, kuid ei kehti (mittevälistava) disjunktiivse süllogismi korral? Modus ponendo tollens 68
Valemid F ja G on samaväärsed parajasti siis, kui valem FG on samaselt tõene. Literaal on lausemuutuja või tema eitus. Positiivne literaal on puhas lausemuutuja. Negatiivne literaal on eitusega lausemuutuja. Täielik elementaarkonjuktsioon on literaalidest L1,L2,...,Ln koostatud valem L1&L2&...&Ln. Täielik disjunktiivne normaalkuju Lausearvutuse valemi F täielikuks disjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaarkonjuktsioonide disjunktsiooni. Täielik elementaardisjunktsioon on literaalidest L1,L2,...,Ln koostatud valem L1vL2v...vLn. Täielik konjuktiivne normaalkuju - Lausearvutuse valemi F täielikuks konjuktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaardisjunkttsioonide konjuktsiooni. Hulgateooria alusmõisted: 1. Hulk on üksteisest erinevate objektide ehk hulga elementide kogum, mida vaadeldakse ühe tervikuna 2
võrdsed igal neis valemeid esinevate muutujate väärtustusel Ütleme, et valemitest F1, F2, ..., Fn järeldub valem G, kui igal neis valemeis esinevate muutujate väärtustusel, millel F1, F2, ..., Fn on tõesed, on ka G tõene Lausearvutuse põhisamaväärsused eraldi lehel!! 2. NORMAALKUJUD Lausearvutuse valemi F täielikuks disjunktiivseks normaalkujuks (TDNK) nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate täielike elementaarkonjuktsioonide disjunktsiooni o Täielik disjunktiivne normaalkuju on tõene parajasti nendel väärtustustel, mis vastavad normaalkuju liikmetele o X111 & ... & Xn1n X121 & ... & Xn2n ... X1m1 & ... & Xnmn on tõene väärtustustel (11, ..., 1n), (21, ..., 2n), ..., (m1, ..., mn) ja väär kõigil ülejäänud väärtustustel o TDNK-le viimine: Koostame valemi põhjal tõeväärtustabeli
Täielikule konjunktiivsele normaalkujule viimise algoritmi sammud 1) Elimineerida valemist implikatsioonid ja ekvivalentsid. 2) Viia eitused vahetult lausemuutujate ette, jätta ära kahekordsed eitused. 3) Viia disjunktsioonid konjunktsioonidest sügavamale. 4) Jätta ära samaselt tõesed ja korduvad liikmed ning liikmetest korduvad literaalid. 3 elementaarkonjuktsioonide disjunktsiooni 4 SML õpik lk. 27 4 5) Lisada liikmetele puuduvad lausemuutujad ning viia uuesti disjunktsioonid konjunktsioonidest sügavamale. 6) Järjestada igas liikmes literaalid ja jätta ära korduvad liikmed. Formaalse aksiomaatilise teooria üldskeem. Teooria korrektsus ja täielikkus semantika suhtes.
annaabi.ee 
