väiketähtedega. Milline predikaat on ühekohaline? Milline on kahekohaline? Ühekohaline predikaat on ühe muutujaga nt P(x), siin predikaat P sisaldab ühte muutujat x Kahekohaline predikaat on kahe muutujaga nt P(x,y), predikaat P sisaldab kahte muutujat x ja y Kuidas nimetatakse teisiti ühekohalisi predikaate? Ühekohalisi predikaate nimetatakse omaduseks. Mida näitab predikaadi määramispiirkond? Näitab, milliseid väärtusi võib predikaatmuutuja omandada. Millal on predikaatlause täidetav ehk kehtestatav? Kui ta on tõene ainult osade muutujaväärtuste x korral, ehk on tõene osas oma määramispiirkonnas. Millised kvantorid on olemas? Millised on nende tähised? On olemas kaks kvantorit, nendeks on Üldsuse kvantor(tagurpidi A) ja eksistentsikvantor(Peegelpildis E). Üldsuse kvantor näitab, et predikaat kehtib oma määramispiirkonna kõikide muutujate väärtuste korral. Eksistentsi kvantor näitab, et predikaat
Samaselt tõesed laused võib asendada (tähistada) konstandiga 1 ja samaselt väärad laused konstandiga 0. PREDIKAADID P(3) = 1 ehk tõene Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. (Predikaatlause) Omistades predikaatmuutujale mõne muu täisarvulise väärtuse: Predikaatlause tõeväärtus oleneb väärtustatud muutuja(te) tõeväärtus(t)est. P(5) ≡ (5 > 2) ∧ (5 < 4) = 0 Kui predikaadi muutujad asendada mingite konkreetsete väärtustega ehk lubatud väärtustehulgast, siis predikaat muutub lauseks (ehk omandab P(5) = 0 ehk vale tõeväärtuse).
samaselt väärad konstandiga 0. Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. Kui predikaadi muutujad asendada mingite konkreetsete väärtustega lubatud väärtustehulgast, siis predikaat omandab tõeväärtuse (muutub lauseks). Predikaate tähistatakse suurtähtedega, predikaatmuutujaid väiketähtedega. Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada. Predikaatlause P(x) on täidetav ehk kehtestatav, kui ta on tõene ainult osade muutujaväärtuste x korral (ehk tõene osas oma määramispiirkonnas) ; samaselt tõene, kui ta on kehtiv kogu oma mpk-s ; samaselt väär, kui ta ei kehti oma mpk mitte mingite muutujaväärtuste korral. Kvantoriteks on üldsuse kvantor ja eksistentsikvantor. Muutuja on seotud, kui talle on rakendatud kvantorit ja vaba, kui predikaatmuutuja on kvantormärgiga mitteseotud (∀𝑥𝑃(𝑥,𝑦) korral x
Predikaat on lause (valem), mis sisaldab ühte või enamat muutujat. Kui predikaadi muutujad asendada mingite konkreetsete väärtustega lubatud väärtustehulgast, siis predikaat omandab tõeväärtuse (muutub lauseks). Predikaate tähistatakse suurtähtedega, predikaatmuutujaid väiketähtedega. Ühekohaline predikaat ehk omadus on ühe muutujaga. Määramispiirkond näitab, milliseid väärtusi predikaatmuutuja võib omandada. Predikaatlause P(x) on täidetav ehk kehtestatav, kui ta on tõene ainult osade muutujaväärtuste x korral (ehk tõene osas oma määramispiirkonnas) ; samaselt tõene, kui ta on kehtiv kogu oma mpk-s ; samaselt väär, kui ta ei kehti oma mpk mitte mingite muutujaväärtuste korral. Kvantoriteks on üldsuse kvantor ja eksistentsikvantor. Muutuja on seotud, kui talle on rakendatud kvantorit ja vaba, kui predikaatmuutuja on kvantormärgiga mitteseotud
annaabi.ee 
