"osavelmit" - 1 õppematerjal

SML kordamisküsimustele vastused.

· Kui P on n-kohaline predikaatsümbol ja t1,t2,...,tn on termid, siis P(t1,t2,...,tn) on predikaatarvutuse valem. · Kui F on pvalem 5, siis ¬ F on pvalem · Kui F ja G on pvalemid, siis (F&G), (FG), (FG) ja (FG) on pvalemid · 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