LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
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. 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
annaabi.ee 
