ISKAZNA ALGEBRA Def.1. Simboli iskazna algebra su: 1) Iskazna slova 2) Simboli operacija 3) Otvorene I zatvorene zagrade Def.2.

Iskazne formule su nizovi simbola iskazne algebra: 1) Iskazna slova su iskazne formule 2) Ako su A I B iskazne formule tada su i AvB, A B iskazne formule 3) Iskazne formule mogu se dobiti samo pomocu konacno mnogo primena 1 i 2 Def.3. Tautologije je iskazna formula, koja, za sve vrednosti iskaznih slova koja se pojavljuju u njoj, dobija tacnu vrednosti. Cinjenicu da je iskazna formula F tautologije oznacaamo sa F. Kontradikcija je iskazna formula, koja, za sve vrednosti iskaznih slova koja se pojavljuje u njoj, dobija netacnu vrednost. Def.4. Iskaz ili sud, je afirmativna izjavna recenica, koja ima smisla I koja je istinita ili neistinita. Def.5. Predikat je iskazna recenica koja ima smisla, koja sadrzi jedan ili vise promenljivih parametara I koja postaje iskaz uvek kada parametric iz recenice dobiju konkretne vrednosti. Def.6. Formula koja je tacna pri svim interpretacijama naziva se valjana formula. Def.7. Ako je A formula kvantifikatorskog racuna I u promneljiva , onda se niz simbola zamenjuje sa

Skupovi Def.1. Dva skupa su jednaka ako su svi elementi jednog skupa ujedno I elementi drugog skupa I obratno. Def.2. Skup A je podskup skupa B, ako su svi elementi skupa A takodje I elementi skupa B. Def.3. Osnovne operacije sa skupovima su: Presek, unija, razlika Def.4. Dekartov proizvod skupova A I B tj, AxB je skup svih uredjenih parova u kojima je prva komnponenta element skupa A a druga element skupa B AxB={ }

Def.5. Partitivni skup (P(S)) skupa S, je skup svih podskupova skupa S: P(S)={A:A Card S = n } card P(S)=

Binarne relacije Def.1. Uredjeni par elemenata a I b u oznaci (a,b) jeste skup (a,b)={{a},{a,b}} Element a je prva, a element b druga komponenta uredjenog para (a,b) Teorema.1. Dva uredjena para su jednaka ako sui m odgovarajuce komponente jednake. Def.2. Binarna relacija u skupu X je svaki podskup skupa . , tj svaki skup za koji vazi

RELACIJA EKVIVALENCIJE je Refleksivna, simetricna I tranzitivna RST RELACIJA PORETKA je Refleksivna, antisimetricna I tranzitivna RAT

Funkcija Def.1. Funkcija ili preslikavanje f skupa X u skup Y je svaki podskup skupa XxY takav da se svako x koje pripada skupu X pojavljuje tacno jedanput kao prva komponenta u elementima tog podskupa. X se naziva domen preslikavanja, a skup Y kodomen. x je original, y je slika Def.2. Preslikavanje je surjekcija ako je ( Def.3. Preslikavanje je injekcija (1-1) ( (f(x1)=f(x2) x1=x2)

Def.4. Preslikavanje koje je istovremeno I surjekcija I injekcija naziva se bijekcija. Def.5. Ako za zadato preslikavanje f: X Y postoji preslikavanje g: f(x) x, takvo da je fg identicko preslikavanje skupa X i da je gf identicko preslikavanje skupa f(x), tada se g naziva inverzno preslikavanje f i obelezava sa .