SML kordamisküsimustele vastused.
indiviidmuutujad) võivad esineda kõikides valemites.
Fikseerime sümbolite klassid.
· Indiviidmuutujad, mida märgime tavaliselt tähtedega u,v,w,x,y,z. Iga indiviidmuutuja
võib tähistada vaadeldava hulga ükskõik millist elementi (indiviidi)
· C-sümbolid a,b,c,d jne. C-sümbol tähistab vaadeldava hulga mingit kindlat elementi.
· Funktsionaalsümbolid f,g,h jne. Need tähistavad vaadeldaval hulgal määratud f-oone.
Pannes mitmesugused väiteid kirja pvalemiga, võivad väidete tüübist sõltumatud sümbolid, nagu
ltehtemärgid, kvantorid, sulud ja indiviidmuutujad, esineda ükskõik millistes valemites, olgu siis
tegemist valemitega, mis puudutavad naturaal-,reaalarve, vektoreid, alamhulki või muid objekte.
Seevastu C-,funktsionaal- ja predikaatsümbolid võivad teooriati erineda. Tihtipeale fikseeritakse
need kolm sübmolite klassi eelnevalt ning lubatakse valemites kasutada ainult sümboleid, mis
kuuluvad kindlasmääratud klassidesse
annaabi.ee 
