1. Olgu meil kasutada predikaadid ISA(x,y), EMA(x,y) ja MEES(x) mis tähendavad vastavalt, et x on y isa, x on y ema ja x on meessoost. Predikaatmuutujate määramispiirkonnaks on kõigi inimeste hulk. Väljendada predikaatarvutuse abil sugulussidemed: a) õed - x ja y on õed kui xy (ÕDE(x,y) z (ISA(z,x) & ISA(z,y)) & u (EMA(u,x) & EMA(u,y)) & ¬(MEES(x) MEES(y))). või x on y-i õde kui xy (ÕDE(x,y) z (ISA(z,x) & ISA(z,y)) & u (EMA(u,x) & EMA(u,y)) & ¬MEES(x)) lugesin õigeks ka nö. kasuõdede variandi. (25% õigeid vastuseid) b) vanatädi - x on y-i vanatädi kui
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: Olgux täisarv ja vaatleme ühekohalist predikaati: P ( x1 ) ∧ P ( x2 ) ∧ P ( x3 ) ∧ P ( x4 ) ∧
annaabi.ee 
