Logika

Pod iskazom podrazumevamo bilo koju reenicu za koju se zna da moe biti samo tana ili samo netana.
Iskaze emo, po dogovoru, obeleavati malim slovima latinice: p,q,r,s,t....

(p)=T, ako je iskaz p taan

(p)= , ako je iskaz p netaan
Operacije:

konjukcija

disjunkcija

ili

implikacija
ekvivalencija

ako...onda

ako i samo ako

ne

negacija

Tablice istinitosti:
p

pq

p q

p q

p q

Iskazne formule koje su uvek, za sve mogue vrednosti iskaznih slova koja ine te formule tane, nazivamo
tautologijama.
Znaajniji logiki zakoni:
(p ) p
zakon dvojne negacije
zakon iskljuenja treeg
p p
( p q ) p q
De Morganovi zakoni
( p q ) p q
( p q ) (q p ) zakon kontrapozicije
( p ( p q )) q modus ponens
(q ( p q )) p modus tolens
(p ( q q )) p reductio ad absurdum ( svodjenje na protivrenost)

Skupovi
Pojam skupa se ne definie, ve se shvata intuitivno a moemo rei da je skup kolekcija odredjenih jasno
definisanih objekata.
Skupove najee obeleavamo velikim slovima A,B ,.....X, Y,... , a elemente skupa malim slovima a,b,...,x,y,...
Ako je x element skupa X , tu injenicu emo oznaavati sa x X, a ako ne pripada skupu X, oznaiemo sa x X.
je oznaka za prazan skup, odnosno skup koji nema elemenata.

Za neka dva skupa kaemo da su jednaki ako su svi elementi jednog skupa ujedno elementi drugog skupa, i
obrnuto, svi elementi drugog skupa su elementi prvog skupa .
Zapisujemo:

A=B ako i samo ako ( x) (x A x B )

Kaemo da je skup B podskup skupa A, to oznaavamo B A, ako su svi elementi skupa B takoe i elementi
skupa A, tj.

B A ako i samo ako ( x) (x B x A )

(ovo je relacija inkluzije)

Skup svih elemenata koji su elementi bar jednog od skupova A ili B , zove se unija skupova A i B i oznaava se sa
A B.
A

A B = {x x A x B}
Skup svih elemenata koji su elementi skupa A i skupa B zove se presek skupova A i B i obeleava se sa A B.
A

A B = {x x A x B}
Skup svih elemenata koji su elementi skupa A ali nisu elementi skupa B zove se razlika redom skupova A i B u
oznaci A\B.

x A x B }

A\B={ x
A

B \ A = {x x B x A}
A

Skup (A\B) (B\A) naziva se simetrina razlika i najee se obeleava sa .

A

A B= (A\B) (B\A)

Skup svih podskupova skupa A naziva se partitivni skup skupa A i obeleava se sa P(A).
Skup svih elemenata koji nisu sadrani u posmatranom skupu A je A a zove se komplement.
_
A
A

A = {x x A}

Uredjeni par, ija je prva komponenta a a druga b obeleava se sa ( a,b ).

Dekartov proizvod skupova A i B je skup A B = {(a, b) a A b B}
www.matematiranje.in.rs