"muutuajateta" - 1 õppematerjal

SML kordamisküsimustele vastused.

predikaat midagi väidab Kvantorid: Term. Predikaatarvutuse valem. Vabad ja seotud muutujad. Keele signatuur: konstant-, funktsionaal- ja predikaatsümbolid. Term. Def. 2 Termid on parajasti need, mida saab koostada alltoodud reeglite abil: · Iga indiviidmuutuja on term · Iga C-sümbol on term · 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.