Loogika konspekt 1-5
predikaadi A(x), kus xN (,,x on algarv", x kuulub naturaalarvude hulka). Üldisuskvantori
rakendamisel saame lause: x(xN)Ax ehk x(xN)A(x) ehk x Ax, mida võiks
antud juhul lugeda: Iga naturaalarv on algarv ehk Kõik naturaalarvud on algarvud.
See üldjaatav lause on väär.
Olemasolukvantori rakendamine ühekohalisele predikaadile Px, kus xX, muudab
selle predikaadi lauseks: Leidub selline x, millel on omadus Px ehk Leidub selline x, et Px.
Näiteks rakendame olemasolukvantorit eelpooldefineeritud predikaadile A(x), kus xN.
Saame lause: x(xN)Ax ehk x(xN)A(x) ehk x Ax, mida võiks antud juhul
lugeda: Leidub vähemalt üks naturaalarv, mis on algarv ehk Mõned naturaalarvud on
algarvud. See osajaatav lause on tõene.
Muutuja esinemine predikaatarvutuse valemis on seotud, kui ta esineb kvantoris või
kvantorile alluvas avalduses. Kui muutuja esinemine ei ole seotud, siis see muutuja
esinemine on vaba.
Muutuja on valemis seotud, kui kõik tema esinemised on valemis seotud. Vastasel
annaabi.ee 
