kedagi teist. Andes muutujale x kõikvõimalikud väärtused, saame kuus lauset: Jüri armastab Marit (t); Jüri armastab Annat (v); Jüri armastab Bertat (v), Jüri armastab Jürit (v); Jüri armastab Eedut (v); Jüri armastab Karli (v). Saame koostada ka tõeväärtustabeli:1 x Mari Anna Berta Jüri Eedu Karl Jx 1 0 0 0 0 0 8.1. PREDIKAATARVUTUSE PÕHITERMINID D8.1.1. Hulgal M määratud ühekohaline predikaat ehk unaarne predikaat Px või P(x) või P1x on kujutus (funktsioon), mis seab igale hulga M elemendile (indiviidile) x vastavusse ühe kindla tõeväärtuse 1 (tõene) või 0 (väär). Hulka M, millel predikaat on määratud, nimetatakse selle predikaadi baashulgaks (domain)2. Hulga M elemente x∈ M nimetatakse selle predikaadi indiviidideks. D8.1.2. Ühekohalise predikaadi Px tõehulgaks nimetatakse hulka P, mille elementideks on need ja ainult need indiviidid, mille korral predikaadi väärtuseks on tõeväärtus tõene.
armastab Eedut (v); Jüri armastab Karli (v). Saame koostada ka tõeväärtustabeli:1 x Mari Anna Berta Jüri Eedu Karl Jx 1 0 0 0 0 0 8.1. PREDIKAATARVUTUSE PÕHITERMINID D8.1.1. Hulgal M määratud ühekohaline predikaat ehk unaarne predikaat Px või P(x) või P1x on kujutus (funktsioon), mis seab igale hulga M elemendile (indiviidile) x vastavusse ühe kindla tõeväärtuse 1 (tõene) või 0 (väär). Hulka M, millel predikaat on määratud, nimetatakse selle predikaadi baashulgaks (domain)2. Hulga M elemente x M nimetatakse selle predikaadi indiviidideks. D8.1.2. Ühekohalise predikaadi Px tõehulgaks nimetatakse hulka P, mille elementideks on need ja ainult need indiviidid, mille korral predikaadi väärtuseks on tõeväärtus tõene.
annaabi.ee 
