- Ü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
See on ainus komponent mis saab tõene olla, siit järeldub, et Mike tuleb aktsioonile ning lisaks ka veel see, et Sam ja Peter ei tule. 27_fl_i-v L5 PREDIKAATARVUTUSEST Predikaatarvutuse tähestik: · predikaatsümbolid: A, B, C, P, A1, B2, A6, ... (suurtähed); · indiviidmutujad: x, y, z, x1, z2, y6, ... (tähestiku viimased tähed); · indiviidkonstantide sümbolid: a, b, c, h, a1, j6, ... (tähestiku esimesed tähed); · loogiliste tehete sümbolid: ¬, &, , , , - üldisuskvantor (kõik, iga, jne), - olemasolukvantor (mingi, mõni, leidub vähemalt üks jne), loogilise tehtena käsiteldav objektideevahelise võrduse seos: = ; · kuuluvusseos (aX element a kuulub hulka X); · kirjavahemärgid: (), [ ]. Indiviidtermid on indiviidkonstantide sümbolid ja indiviidmuutujad.
annaabi.ee 
