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. Hulgal M määratud kahekohaline predikaat ehk binaarne predikaat Pxy või P(xy) või P2xy on kujutis (funktsioon), mis seab igale indiviidide järjestatud paarile (x; y), kus x, y∈ M, vastavusse ühe kindla tõeväärtuse tõene (1) või väär (0). Hulka M, millel predikaat on määratud, nimetatakse selle predikaadi baashulgaks. Hulga M elemente x∈ M nimetatakse selle predikaadi indiviidideks.3 D8.2.2. Kahekohalise predikaadi Pxy tõehulgaks nimetatakse hulka P, mille elementideks on need ja ainult need indiviidide järjestatud paarid, mille korral predikaadi väärtuseks on
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. Hulgal M määratud kahekohaline predikaat ehk binaarne predikaat Pxy või P(xy) või P2xy on kujutis (funktsioon), mis seab igale indiviidide järjestatud paarile (x; y), kus x, y M, vastavusse ühe kindla tõeväärtuse tõene (1) või väär (0). Hulka M, millel predikaat on määratud, nimetatakse selle predikaadi baashulgaks. Hulga M elemente x M nimetatakse selle predikaadi indiviidideks.3 D8.2.2. Kahekohalise predikaadi Pxy tõehulgaks nimetatakse hulka P, mille elementideks on need ja ainult need indiviidide järjestatud paarid, mille korral predikaadi väärtuseks on
annaabi.ee 
