Loogilise programmeerimise 1.kontrolltöö konspekt
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
annaabi.ee 
