Järgnevas definitsioonis esinevat väljendit funktsionaalsümbol võib kõige kergemini mõista näidete abil koolimatemaatikast: liitmismärk ja korrutusmärk on kahekohalised funktsionaalsümbolid. 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;
Järgnevas definitsioonis esinevat väljendit funktsionaalsümbol võib kõige kergemini mõista näidete abil koolimatemaatikast: liitmismärk ja korrutusmärk on kahekohalised funktsionaalsümbolid. 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;
annaabi.ee 
