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. Kvantori ulatuses paiknevat valemit nimetatakse ka KVANTORILE ALLUVAKS VALEMIKS. Muutuja esinemine predikaatarvutuse valemis on SEOTUD, kui muutuja esineb mõne kvantori ulatuses. Kui muutuja esinemine ei ole seotud, siis on see muutuja esinemine VABA. Muutuja ON valemis SEOTUD, kui kõik tema esinemised valemis on seotud. VASTASEL JUHUL on muutuja VABA Valem on KINNINE, kui kõik tema muutujad ON SEOTUD. VASTASEL
A B = { x | x A x B }. b. Hulkade A ja B ühisosaks e. lõikeks nimetatakse hulka A B, mille moodustavad elemendid, mis kuuluvad nii hulka A kui hulka B, st AB = { x | x A & x B }. c. Hulkade A ja B vaheks nimetatakse hulka AB, mille moodustavad elemendid, mis kuuluvad hulka A, aga ei kuulu hulka B, st AB = { x | x A & ¬(x B)}. d. Universaalhulgaks nimetatakse hulka, mis sisaldab alamhulkadena kõiki antud probleemis või mõttekäigus vaadeldavaid hulki. e. Hulga A täiendiks A' nimetatakse hulka, mille moodustavad kõik need universaalse hulga elemendid, mis ei kuulu hulka A: A' = { x U | (x A) } = { x U | ¬(x A) }. f. Venni diagrammid, tehete algebralised omadus, nende tõestamine ja kontroll https://moodle.ut.ee/mod/resource/view.php?id=78718 lk 5 12 16) a
x∈ B } Ühisosa o DEF: Hulkade A ja B ühisosaks e. lõikeks nimetatakse hulka A∩B, mille moodustavad kõik elemendid, mis kuuluvad nii hulka A kui hulka B, st A∩B = { x | x∈ A & x∈ B }. Vahe o DEF: Def. Hulkade A ja B vaheks nimetatakse hulka AB, mille moodustavad elemendid, mis kuuluvad hulka A, aga ei kuulu hulka B, st AB = { x | x∈ A & ¬(x∈ B )}. Universaalhulk 12 o DEF: hulk, mis sisaldab alamhulkadena kõiki antud probleemis või mõttekäigus vaadeldavaid hulki. U = {x | x=x}. Täiend o DEF: Hulga A täiendiks A’ nimetatakse hulka, moodustavad kõik need universaalse hulga elemendid, mis ei kuulu hulka A: A’ = {x ∈ U| (x∉ A) } = {x ∈ U| ¬ (x∈ A) } Vienni diagrammid o DEF: Hulgateoreetilistele tehetele ja avaldistele vastavaid hulki kujutatakse tihti nn Venni diagrammide abil, kus hulkadele vastavad joontega piiratud piirkonnad.
predikaadi sümbolile vahetult järgnevate indiviidisümbolite arvust. Predikaadi baashulk M võib olla väga kitsalt piiritletud, nt algarvude hulk või vasakust silmast pimedate kuni ühe aastaste kollaste kasside hulk. Arutlustes võib olla tarvis mitut erinevat hulka, nt füüsikalisest universumist rääkides läheb tarvis väga palju erinevaid hulki. Neid kõiki on võimalik ühendada universaalhulgaks. D8.4. Universaalhulgaks ehk universaalseks hulgaks nimetatakse hulka, mis sisaldab alamhulkadena kõiki antud probleemi või arutluse raames vaadeldavaid hulki. Klassikalises predikaatloogikas peavad ühe predikaadi kõik indiviidid kuuluma ühte baashulka. Erinevatel predikaatidel võivad olla erinevad baashulgad. Arutlustes võib osutuda otstarbekaks võtta kõikide predikaatide baashulgaks universaalhulk. Tühikuga lõpetamata lausele „… on algarv” vastab unaarne predikaat. Asetades tühikusse
Predikaadi baashulk M võib olla väga kitsalt piiritletud, nt algarvude hulk või vasakust silmast pimedate kuni ühe aastaste kollaste kasside hulk. Arutlustes võib olla tarvis mitut erinevat hulka, nt füüsikalisest universumist rääkides läheb tarvis väga palju erinevaid hulki. Neid kõiki on võimalik ühendada universaalhulgaks. D8.4. Universaalhulgaks ehk universaalseks hulgaks nimetatakse hulka, mis sisaldab alamhulkadena kõiki antud probleemi või arutluse raames vaadeldavaid hulki. Klassikalises predikaatloogikas peavad ühe predikaadi kõik indiviidid kuuluma ühte baashulka. Erinevatel predikaatidel võivad olla erinevad baashulgad. Arutlustes võib osutuda otstarbekaks võtta kõikide predikaatide baashulgaks universaalhulk. Tühikuga lõpetamata lausele ,,... on algarv" vastab unaarne predikaat. Asetades tühikusse
annaabi.ee 
