"puhtlausearvutuslikus" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

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 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