- Ü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
.. (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. Predikaatarvutuse süntaks: Atomaarne valem (e aatom) on kas kujul L, kus L on lausemuutuja (ehk 0-kohaline predikaat), või kujul P(t1...tn) (või kujul Pt1,...,tn), kus P on n-kohaline predikaatsümbol ja t1...tn on indiviidtermid. 1. Atomaarne valem on valem. 2. Kui p on valem, siis ¬p on valem. 3. Kui p ja q on valemid, siis (p&q), (pq), (pq) ja (pq) on valemid. 4
annaabi.ee 
