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 predikaate, on vaid lausekonstandid (predikaatloogikas 0-kohalised funktsioonid) ja lausemuutujad (0-kohalised predikaadid). Lausearvutuses tuleb signatuuri hulka lugeda kõik konkreetselt käsiteldava lausearvutuse juhtumi kõik lausekonstandid. Lausearvutuse interpretatsiooni põhihulgas on konkreetselt käsiteldava lausearvutuse kõik atomaarsed laused (lihtlaused). D8.6.3a. Lausearvutuse (signatuuri) interpretatsioon koosneb lausete põhihulgast ehk interpretatsiooni kandjast ja interpreteerivast kujutusest, mis:
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. Lausearvutuses ei ole indiviide ega predikaate, on vaid lausekonstandid (predikaatloogikas 0-kohalised funktsioonid) ja lausemuutujad (0-kohalised predikaadid). Lausearvutuses tuleb signatuuri hulka lugeda kõik konkreetselt käsiteldava lausearvutuse juhtumi kõik lausekonstandid. Lausearvutuse interpretatsiooni põhihulgas on konkreetselt käsiteldava lausearvutuse kõik atomaarsed laused (lihtlaused). D8.6.3a. Lausearvutuse (signatuuri) interpretatsioon koosneb lausete põhihulgast ehk interpretatsiooni kandjast ja interpreteerivast kujutusest, mis:
annaabi.ee 
