predikaatidel olla erinevad baashulgad ning signatuuri põhihulk moodustub kõigi kasutuses olevate baashulkade ühendina (koosneb kõikidest baashulkade elementidest, kusjuures iga element tuleb arvesse täpselt üks kord). Signatuuri põhihulka nimetatakse ka universaalhulgaks. Klassikalises loogikas tehakse tavaliselt nii, et iga predikaadi baashulka laiendatakse signatuuri põhihulgani. Sel juhul võib definitsioonis D8.6.3. käsutada termini põhihulk asemel ka terminit baashulk. (Mitme baashulgaga loogikat nimetatakse mitmesordiliseks või mitmeliigiliseks loogikaks ning selle tundmaõppimine ei mahu loogika algkursuse raamidesse.) Seega võime klassikalises loogikas rääkida ka signatuuri baashulgast või universumist. Väga sageli nõutakse, et baashulk oleks mittetühi, kuid see nõue ei ole üldtunnustatud. Kui predikaadisümboli aarsus n = 0, siis 0-kohaline funktsioon fikseerib ühe tõeväärtuse ja tegemist on lausega (konstandiga). 7
olla erinevad baashulgad ning signatuuri põhihulk moodustub kõigi kasutuses olevate baashulkade ühendina (koosneb kõikidest baashulkade elementidest, kusjuures iga element tuleb arvesse täpselt üks kord). Signatuuri põhihulka nimetatakse ka universaalhulgaks. Klassikalises loogikas tehakse tavaliselt nii, et iga predikaadi baashulka laiendatakse signatuuri põhihulgani. Sel juhul võib definitsioonis D8.6.3. käsutada termini põhihulk asemel ka terminit baashulk. (Mitme baashulgaga loogikat nimetatakse mitmesordiliseks või mitmeliigiliseks loogikaks ning selle tundmaõppimine ei mahu loogika algkursuse raamidesse.) Seega võime klassikalises loogikas rääkida ka signatuuri baashulgast või universumist. Väga sageli nõutakse, et baashulk oleks mittetühi, kuid see nõue ei ole üldtunnustatud. Kui predikaadisümboli aarsus n = 0, siis 0-kohaline funktsioon fikseerib ühe tõeväärtuse ja tegemist on lausega (konstandiga).
annaabi.ee 
