abil. Valemi F DISJUNKTIIVSEKS NORMAALKUJUKS nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate lihtkonjunktsioonide disjunktsiooni. Nt A1 & B1... v A2 & B2... v ... PREDIKAATLOOGIKA Hulgal M määratud ühekohaline predikaat ehk UNAARNE PREDIKAAT Px on kujutus(funktsioon), mis seab igale hulga M elemendile(indiviidile) x vastavusse ühe kindla tõeväärtuse tõene(1) või väär(0). Hulka M, mille predikaat on määratud, nimetatakse selle predikaadi BAASHULGAKS(domain). Hulga M elemente( x kuulub hulka M) nimetatakse selle predikaadi indiviidideks. Hulgal M määratud kahekohaline predikaat ehk BINAARNE PREDIKAAT Pxy on kujutis, mis seab igale idiviidide järjestatud paarile(x;y), kus x kuulub hulka M, vastavusse ühe kindla tõeväärtusega (tõene või väär). UNIVERSAALHULGAKS ehk UNIVERSAALSEKS HULGAKS nimetatakse hulka, mis sisaldab alamhulkadena kõiki antud probleemi või arutluse raames vaadeldavaid hulki.
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. Saare näites on predikaadi Jx tõehulgaks ainult ühest elemendist koosnev hulk {Mari}. Algarvuks olemise predikaadi Ax puhul on indiviidide piirkonnaks naturaalarvude hulk ning tõehulgaks kõigi algarvude hulk. D8.2.1
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. Saare näites on predikaadi Jx tõehulgaks ainult ühest elemendist koosnev hulk {Mari}. Algarvuks olemise predikaadi Ax puhul on indiviidide piirkonnaks naturaalarvude hulk ning tõehulgaks kõigi algarvude hulk. D8.2.1
annaabi.ee 
