Arvestustöö (variant B) 1. Kas arutlus kehtib? a) Iga inimene loeb raamatuid. Mõni raamat on huvitav. Mõni inimene loeb huvitavaid raamatuid. b) Iga koer haugub. Mõni koer on koduloom. Mõni koduloom haugub. 2. Tõeväärtustabelite meetod. Kas hulk on kooskõlaline? {A ~B, ~(A&C), ~A} 3. Esitada antud lause predikaatloogika keeles kõigis tüüpides. Milline lause räägib esialgsele vastu? Ükski hobune ei ole ratsahobune. 4. Defineeritud on järgmised predikaadid: Tx: x on professor Px: x on professor Ex: x on edukas Lx: x peab loenguid Kx: x korraldab treeninguid Bx: x käib treeningutel Kirjuta predikaatloogika keeles: a. Mõni treener ei käi treeningutel. b. Kõik professorid peavad loenguid. c. Iga treener, kes korraldab treeninguid, on edukas. d
ELEMENTAARKONJUNKTSIOONI ehk konjunkti( ehk lihtkonjunktsiooni), milles erinevad literaalid on omavahel seotud konjunktsiooni abil. Sama hulga puhul saame koostada ka ELEMENTAARDISJUNKTSIOONI ehk disjunkti, milles erinevad literaalid on omavahel seotud disjunktsiooni abil. Valemi F DISJUNKTIIVSEKS NORMAALKUJUKS nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate lihtkonjunktsioonide disjunktsiooni. Nt A1 & B1... v A2 & B2... v ... PREDIKAATLOOGIKA Hulgal M määratud ühekohaline predikaat ehk UNAARNE PREDIKAAT Px on kujutus(funktsioon), mis seab igale hulga M elemendile(indiviidile) x vastavusse ühe kindla tõeväärtuse tõene(1) või väär(0). Hulka M, mille predikaat on määratud, nimetatakse selle predikaadi BAASHULGAKS(domain). Hulga M elemente( x kuulub hulka M) nimetatakse selle predikaadi indiviidideks. Hulgal M määratud kahekohaline predikaat ehk BINAARNE PREDIKAAT
objektide hulka kokku nimetatakse universumiks. - Üldisuskvantor (universal quantifier) - universumi kõikide objektide kohta käiva väite esitamiseks. Muutuja on valemis seotud, kui ta esineb koos kvantoriga ja avaldises kvantori mõjupiirkonnas ja vastasel juhul on muutuja valemis vaba. Muutuja väärtustamisel saadavat lauset nim. väärtustatuks ja väärtustamata lause eksemplariks. 3.2 Predikaatloogika süntaks ja semantika Indiviidtermid on indiviidkonstantide sümbolid ja indiviidmuutujad • Süntaks(induktiivselt) Atomaarne valem e. aatom on kujul L, kus L on 0-kohaline predikaatsümbol e.lausemuutuja 1. Atomaarne valem on valem 2. Kui p on valem, siis ¬ p on valem. 3.Kui p ja q on valemid, siis p∧q,p∨q,p ⇒q,p ≡q on valemid. 4. Kui p on valem ja v on indiviidmuutuja, siis ∀v p ja ∃v p on valemid. 5. Muid valemeid PA-s ei ole
Traditsiooniline loogika koosneb peamiselt aristotellikust süllogistikast ning sellega seotud väite- ja mõisteõpetusest. Traditsiooniline loogika on tänapäeval taandunud lausearvutuse ja predikaatarvutuse ees, mis on arvutuslikult võimsamad kui traditsiooniline loogika. Klassikaline loogika on lausearvutus ja predikaatarvutus. Mõneti lihtsustatult võib öelda, et traditsiooniline loogika on mõisteloogika ja klassikaline loogika on predikaatarvutus ehk predikaatloogika, kuna lausearvutus on esitatav predikaatarvutuse osana. Klassikalises loogikas on väljend lause sama tähendusega, mis propositsioon (väitlause sisu, mis pole seotud konkreetse keele või ütlemisviisiga). Klassikalises loogikas järgitakse loogika kolme esimest põhiseadust ning jäetakse välja küllaldase aluse seadus, sest klassikaline loogika ei käsitle propositsioonide ning maailma vahelisi seoseid. Mitteklassikaline loogika jaguneb omakorda üldistatud loogikateks (nt modaalloogika,
Traditsiooniline loogika koosneb peamiselt aristotellikust süllogistikast ning sellega seotud väite- ja mõisteõpetusest. Traditsiooniline loogika on tänapäeval taandunud lausearvutuse ja predikaatarvutuse ees, mis on arvutuslikult võimsamad kui traditsiooniline loogika. Klassikaline loogika on lausearvutus ja predikaatarvutus. Mõneti lihtsustatult võib öelda, et traditsiooniline loogika on mõisteloogika ja klassikaline loogika on predikaatarvutus ehk predikaatloogika, kuna lausearvutus on esitatav predikaatarvutuse osana. Klassikalises loogikas on väljend lause sama tähendusega, mis propositsioon (väitlause sisu, mis pole seotud konkreetse keele või ütlemisviisiga). Klassikalises loogikas järgitakse loogika kolme esimest põhiseadust ning jäetakse välja küllaldase aluse seadus, sest klassikaline loogika ei käsitle propositsioonide ning maailma vahelisi seoseid.
Fonoloogia kordamisküsimused 1. Fonoloogiline hierarhia Lausung > intonatsiooniline fraas > fonoloogiline fraas > prosoodiline sõna () > jalg ehk kõnetakt (F, ) > silp () > moora () > segment ehk foneem 2. Foneem, allofoon Foneem foneemi ei öelda välja, s.o abstraktne üksus. Ei sõltu kontekstist, vaid hääldus eristab, nii on nt provansaali keeles 'õhtu' seRo ja 'saag' sero (kontekst on sama: se_o) Allofoon allofoone öeldakse selgelt välja. Konteksti poolt määratud, nt kas mõnes Lõuna-Rootsi dialektis on R alati silbi alguses ja r on alati silbi koodas. Foneemid eristavad alati tähendusi, allofoonid on foneemivariandid. Provanssaali r ja R eristavad tähendusi, järelikult need on kaks erinevat foneemi, samuti ph, p ja b hindi keeles. (ph on tegelikult üks häälik, aspireeritud p, aga seda märgitakse transkriptsioonis kahe tähega) Eesti keeles on klusiilide kirjapilt segadusseajav. Tegelikult "sada" hääldub [sata]. Mõni inimene hä...
mingitel väärtustel Ütleme, et valemitest F1, F2, ... , Fn järeldub valem G, kui igas interpretatsioonis valemite vabade muutujate kõikidel väärtustel, kus valemid F1, F2, ... , Fn on tõesed, on ka valem G tõene Valemeid F ja G nimetatakse samaväärseteks, kui nende tõeväärtused on võrdsed igas interpretatsioonis valemite vabade muutujate kõikidel väärtustel Churchi teoreem: ei leidu algoritmi, mis suudaks suvalise predikaatloogika valemi puhul kindlaks teha, kas valem on samaselt tõene Igasuguse lõpliku võimsusega ja loenduva hulga interpretatsioonide vaatlemine on vajalik, sest saab konstrueerida valemi, mis on tõene parajasti siis, kui kandjas on n elementi, ja saab konstrueerida kehtestatava valemi, mis on väär igas lõpliku kandjaga interpretatsioonis Kui signatuur on lõplik või loenduv, siis loenduvast suuremate kandjate vaatlemine pole vajalik
· x ¬Px Leidub vähemalt üks objekt, mis ei ole P. · x ¬x Leidub vähemalt üks objekt, millel pole omadusi . Konkreetne näide (vt näidet lõigust üldjaatava väite kohta): Mõni vares ei ole must. x (Sx & ¬Px) Leidub vähemalt üks must vares. ¬x (Sx Px) Ei ole nii, et kõik varesed on mustad. 30_fl_i-v Ühemateeria väidete loogiline ruut predikaatloogika versioonis: kontraarsus x (Sx Px) (A) (E) x (Sx ¬Px) subordinatsioon subordinatsioon x (Sx & Px) (I) (O) x (Sx & ¬Px) subkontraarsus Kvantorite duaalsusreeglid: ¬x p = x ¬p ¬x p = x ¬p x p = ¬x ¬p x p = ¬x ¬p Kvantorite vahetamise reeglid:
annaabi.ee 
