D8.6.1. Termid on parajasti kirjeldatud järgmise loeteluga: • iga indiviidimuutuja on term; • iga indiviidikonstant on term; • iga f (t1, t2, …, tn), kus f on n-kohaline funktsionaalsümbol ja t1, t2, …, tn on termid, on term. Indiviiditerm on ühine termin indiviidikonstantide ja indiviidimuutujate kohta. D8.6.2. Signatuur on konkreetselt käsiteldava predikaatarvutuse juhtumi kõikide sümbolite loetelu, millesse kuuluvad kõik indiviidikonstandid, funktsionaalsümbolid ja predikaadisümbolid. D8.6.3. (Signatuuri) interpretatsioon koosneb põhihulgast ehk interpretatsiooni kandjast ja interpreteerivast kujutusest, mis kujutab: • iga indiviidikonstandi mingiks baashulga (põhihulga) elemendiks; • iga n-kohalise predikaadisümboli n-kohaliseks predikaadiks baashulgal, mis igale indiviidide järjestatud ennikule seab vastavusse ühe kindla tõeväärtuse hulgast {1, 0};
D8.6.1. Termid on parajasti kirjeldatud järgmise loeteluga: · iga indiviidimuutuja on term; · iga indiviidikonstant on term; · iga f (t1, t2, ..., tn), kus f on n-kohaline funktsionaalsümbol ja t1, t2, ..., tn on termid, on term. Indiviiditerm on ühine termin indiviidikonstantide ja indiviidimuutujate kohta. D8.6.2. Signatuur on konkreetselt käsiteldava predikaatarvutuse juhtumi kõikide sümbolite loetelu, millesse kuuluvad kõik indiviidikonstandid, funktsionaalsümbolid ja predikaadisümbolid. D8.6.3. (Signatuuri) interpretatsioon koosneb põhihulgast ehk interpretatsiooni kandjast ja interpreteerivast kujutusest, mis kujutab: · iga indiviidikonstandi mingiks baashulga (põhihulga) elemendiks; · iga n-kohalise predikaadisümboli n-kohaliseks predikaadiks baashulgal, mis igale indiviidide järjestatud ennikule seab vastavusse ühe kindla tõeväärtuse hulgast {1, 0};
annaabi.ee 
