|
|
1.Matematički objekti-izrazi i formule
Konstante su potpuno odredjeni matematicki objekti, imaju svoj termin i znak, i ne moraju biti jednoznacno odredjeni.Simboli ili promenjive su razna slova(a,b,c…x,y,z)koja imaju zajednicke posebne objekte, vrednosti promenjive. Izrazi : shvatamo ih kao reci zapisane slovima iz alfabeta.def: izrazi su reci koje se sastoje od jedne promenjive ili jednog znaka ili od vise prom. ili vise znakova konstante povezanih operacijama uz pomoc zagrada.
def 1. - znaci kostanti i prom su izrazi - ako je f znak operacije duzine n i ako su t1, t2…izrazi tada je i rec f(t1,t2,..tn) izraz - izrazi su samo reci koje se mogu dobiti primenjivanjem pravilia (1)ili(2) ove def konavan broj puta. Formule def 2. ako je R znak relacije duzine n, a t1,t2,..tn izrazi, onda je R(t1,t2..tn) formula. Termi def 3. - simboli kostanti i promenjive su termi - ako su t1,t2,…tn, _> (vece i jednako)1 termi i f znak operacije duzine n, onda je izraz f(t1,t2,…,tn)term - izraz je term samo u slucaju ako to sledi iz pravila (1) ili (2) ove def. def 4. elemetarne formule uvode se sled def - ako je R znak relacije duzine n, a t1, t2,… tn termi, onda je R(t1, t2,..tn)elementarna formula.