"pvalemid" - 1 õppematerjal

SML kordamisküsimustele vastused.

· Kui f on n-kohaline funktsionaalsümbol ja t1,t2,...,tn on termid, siis f(t1,t2,...,tn) on term. Termi, milles ei esine ühtegi indiviidmuutujat, nim muutuajateta termiks. Predikaatarvutuse valem Def 3. Predikaatarvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil: · 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.