"osavalemit" - 1 õppematerjal

Graafid ja matemaatiline loogika eksamimaterjal

P(t1, t2, ... , tn) on predikaatarvutuse valem o Kui F on predikaatarvutuse valem, siis ¬F on predikaatarvutuse valem o Kui F ja G on predikaatarvutuse valemid, siis (F & G), (F G), (F G) ja (F G) on predikaatarvutuse valemid o Kui x on indiviidmuutuja ja F on predikaatarvutuse valem, siis xF ja xF on predikaatarvutuse valemid Indiviidmuutuja x esineb valemis F seotult, kui ta asub mingi kvantori mõjupiirkonnas, st osavalemit xG või xG moodustavas valemis G. Ülejäänud esinemisi nimetatakse vabadeks. Valemit nimetatakse kinniseks, kui tema kõigi indiviidmuutujate kõik esinemised on seotud Interpretatsioon on paar = (M , I), kus M on mingi mittetühi hulk, mida nimetatakse põhihulgaks ehk interpretatsiooni kandjaks, ja I on interpreteeriv kujutus, mis teisendab: o iga konstantsümboli hulga M mingiks elemendiks