Graafid ja matemaatiline loogika eksamimaterjal
taandada lausearvutuse tehetele:
o Kui = {1, ... , }, siis P(1, ... , )= P(1, ... , -1, 1, +1, ... , )
& ... & P(1, ..., -1, , +1, ... , n)
o Olemasolu kvantori saab samal viisil väljendada disjunktsioonide
kaudu
Konstantsümbolid (a, b, c, ...) tähistavad vaadeldava hulga mingeid
kindlaid elemente
Funktsionaalsümbolid (f, g, h, ...) tähistavad vaadeldaval hulgal
määratud funtksioone
Predikaatsümboleid kasutatakse elementide omaduste ja
nendevaheliste seoste kirjapanemiseks
Termid on parajasti need, mida saab koostada järgnevate reeglite abil:
o Iga indiviidmuutuja on term
o Iga konstantsümbol on term
o Kui f on n-kohaline funktsionaalsümbol ja t 1, t2, ... , tn on termid, siis
f(t1, t2, ... , tn) on term
Predikaatarvutuse valemid on parajasti need, mida saab koostada
alltoodud reeglite abil:
annaabi.ee 
