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: • teisendab iga lausekonstandi konkreetseks põhihulga lauseks; • omistab igale lausekonstandile ühe kindla tõeväärtuse hulgast {1, 0}. Atomaarne valem on kas lausekonstant või lausemuutuja või pred-kaadisümbol koos indiviiditermidega. (Lausemuutuja esitatakse kujul A; predikaat esitatakse kas kujul P(t1 ...,tn) või kujul Pt1... tn, kus P on n-kohaline predikaadisümbol ja t1... tn on indiviiditermid.) D8.7. Predikaatarvutuse süntaks: • Atomaarne valem on valem. • Kui p on valem, siis (¬p) on valem.
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: · teisendab iga lausekonstandi konkreetseks põhihulga lauseks; · omistab igale lausekonstandile ühe kindla tõeväärtuse hulgast {1, 0}. Atomaarne valem on kas lausekonstant või lausemuutuja või pred-kaadisümbol koos indiviiditermidega. (Lausemuutuja esitatakse kujul A; predikaat esitatakse kas kujul P(t1 ...,t n ) või kujul Pt1... tn, kus P on n-kohaline predikaadisümbol ja t1... tn on indiviiditermid.) D8.7. Predikaatarvutuse süntaks: · Atomaarne valem on valem. · Kui p on valem, siis (¬p) on valem
annaabi.ee 
