Loogilise programmeerimise 1.kontrolltöö konspekt
tehetega (ja; või; ei; kui ..., siis ..., jne).
• Lausearvutuse seoste korral määravad osalausete tõeväärtused täielikult kogu lause
tõeväärtuse, osalausete konkreetne sisu ei ole aga tähtis.
• Lausearvutuse tehteks nimetatakse niisugust lausetes kasutatavat seost, mille
tõeväärtus on tema osalausete tõeväärtuste funktsioon (Boole’i funktsioon).
Semantika – valemi tõeväärtuse määratlus téma alamvalemite töeväärtuste põhjal.
3 Predikaatarvutus
3.1 Formaliseerimine predikaatarvutuse keeles
Predikaat väljendab objekti omadust või mingit seost (relatsiooni) objektide vahel.
!!! Esimest järku predikaatarvutuses:
- predikát konstandid—puuduvad predikát muutujad st.kui predikát on defineeritud,
siis arutluse käigus tema tähendus ei muutu,
- üks predikaat ei tohi olla teise predikaadi argumendiks.
• Liitlausete formaliseerimine:
- Atomaarne lause e
annaabi.ee 
