Mis on Diskreetne Matemaatika
A ( x ) ≡ " x on algarv " — samaselt tõene: kui ta on tõene (kehtiv) kogu määramispiirkonnas
— samaselt väär: kui ta ei kehti mitte mingite muutujaväärtuste
Reeglina eelistame predikaate võimalusekorral esitada formaalselt ehk korral oma määramispiirkonnas
valemitekujul (predikaatvalem).
Predikaatmuutujate kohta tuleb alati eelnevalt täpsustada, milliseid KVANTORID ∀ ∃
väärtusi ta võib omandada ehk milline on predikaadi Kui soovime väita, et predikaat P (x) kehtib oma määramispiirkonna
määramispiirkond.
kõikide x-ide ( x1 x2 x3 . . . ) korral ehk:
annaabi.ee 
