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 Predikaatloogikas defineeritud interpretatsioon kehtib ka lausearvutuses, ent puhtlausearvutuslikus kontekstis on selles palju ülearust. Lausearvutuses ei ole indiviide ega
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 Predikaatloogikas defineeritud interpretatsioon kehtib ka lausearvutuses, ent puht- lausearvutuslikus kontekstis on selles palju ülearust
annaabi.ee 
