"mitteloogiliste" - 1 õppematerjal

SML kordamisküsimustele vastused.

· Kui x on indiviidmuutuja ja F on pvalem, siis on pvalemid. Vabad ja seotud muutujad. Indiviidmuutuja x esineb valemis F seotult, kui ta asub mingi kvantori mõjupriikonnas, st osavelmit õ moodustavas valemis G. Ülejäänud esinemisi nim. vabadeks. Kui indiviidmuutuja x esineb valemis F vabalt, siis märgime sellist valemit mõnikord ka tähisega F(x). Keele signatuur: konstant-, funktsionaal- ja predikaatsümbolid. Signatuur fikseerib termides ja valemites lubatud mitteloogiliste sümbolite hulgad. 5 predikaatarvutuse... 8 Väidete tüübist sõltumatud sümboled (lausearvutuse tehtemärgid, kvantorid, sulud, 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