Professional Documents
Culture Documents
Prirodno-matematiki fakultet
Univerzitet u Novom Sadu
Matematika logika
Madarsz Sz. Rozlia
Novi Sad, novembar 2012.
Predgovor
Ovaj tekst je pomocni materijal koji sluzi da studentima olaksa pracenje kur-
seva Matemati cka logika odnosno Matemati cka logika u racunarstvu
na Departmanu za matematiku i informatiku PMF Univerziteta u Novom
Sadu. On nije dovoljan da bi se kursevi savladali u potpunosti, jer ne sadzi
zadatke, a cesto nedostaju i primeri koji bi ilustrovali date pojmove odnosno
teoreme. Navedene kurseve je, naravno, najlakse savladati tako sto se re-
dovno pohada nastava (predavanja i vezbe) i koristi dopunska literatura. No,
iskustvo pokazuje da izvestan broj studenata nije u mogucnosti da pohada
nastavu, pa ove skripte sluze umesto (tudih) beleski sa predavanja.
Grubo govoreci, kurs Matemati cka logika, koji se pod raznim nazivima
slusa na osnovnim ili master studijama matematike, oslanja se na poglavlja
1, 2 i 4, a kurs Matemati cka logika u ra cunarstvu na poglavlja 1, 2
i 3. No, predavanja iz navedenih kurseva se svake godine prilagodavaju
slusaocima, u zavisnosti od predznanja i zainteresovanosti, pa shodno tome,
ove skripte ce ponekad biti presiromasne u odnosu na pokriveni materijal, a
opet neke godine se ne stigne da se obradi svaka tema koja je ovde navedena.
Na kraju, shvatite ovaj materijal kao zivo bice, koje ce vremenom
rasti, menjati se i poboljsavati. Nikako ga ne treba shvatiti kao nesto sto
je zavrseno i spremno za stampu. Savetujemo takode da se poseti sajt
http://sites.dmi.rs/personal/madaraszr/ i proveri ima li nesto sto bi moglo
biti od koristi citaocu prilikom spremanja ispita iz navedenih kurseva.
1
2 Predgovor
Sadr
zaj
1 Iskazna logika 7
1.1 Poceci logike i matematicke logike . . . . . . . . . . . . . . . 7
1.2 Logika iskaza . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Sintaksa iskazne logike . . . . . . . . . . . . . . . . . . . . . . 10
1.4 Interpretacije . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 Tautologije, logicka ekvivalencija . . . . . . . . . . . . . . . . 14
1.6 Normalne forme i baze iskazne algebre . . . . . . . . . . . . . 18
1.7 Modeli i teorije . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.8 Logicka (semanticka) posledica . . . . . . . . . . . . . . . . . 24
1.9 Semanticki tabloi . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.10 Deduktivni sistemi . . . . . . . . . . . . . . . . . . . . . . . . 30
1.11 Iskazni racun - deduktivni sistem za iskaznu logiku . . . . . . 33
1.12 Mala teorema kompletnosti i odlucivost iskaznog racuna . . . 41
1.13 Teorema kompletnosti i kompaktnost . . . . . . . . . . . . . . 44
1.14 Rezolucija u iskaznoj logici . . . . . . . . . . . . . . . . . . . 50
2 Predikatska logika 57
2.1 O predikatskoj logici . . . . . . . . . . . . . . . . . . . . . . . 57
2.2 Sintaksa predikatske logike . . . . . . . . . . . . . . . . . . . 59
2.3 Semantika predikatske logike . . . . . . . . . . . . . . . . . . 61
3
4 Sadrzaj
Literatura 187
Indeks 191
6 Sadrzaj
Glava 1
Iskazna logika
1.1 Po
ceci logike i matemati
cke logike
7
8 Glava 1. Iskazna logika
Pre nego sto krenemo da izgradujemo iskaznu logiku (kao formalnu, matema-
ticku teoriju), podsetimo se osnovnih pojmova logike iskaza (neformalne
teorije koja predstavlja najjednostavniji deo logike). Osnovni pojmovi logike
iskaza su: iskaz, istinitosna vrednost iskaza, logi cki veznici. Intu-
itivno, iskaz je recenica koja je ima tacno jednu jednu istinitosnu vredost:
tacno ili netacno. Iskaze cemo obelezavati slovima, recimo p, q, r, . . . .
Umesto iskaz koji je obelezen slovom p, mi cemo krace reci iskaz p. Ako
iskaz p ima istinitosnu vrednost tacan, onda kazemo i da je iskaz p tacan
(i analogno za istinitosnu vrednost netacan).
Logi cki veznici sluze da od polaznih iskaza dobijemo slozenije iskaze.
Logicki veznici koje cemo ovde razmatrati su: i, ili, ako...onda,
ako i samo ako (binarni veznici), i nije (unarni veznik):
iskaz p ako i samo ako q je tacan ako i samo ako iskazi p i q imaju
istu istinitosnu vrednost,
simboli logi
ckih operacija: , , , , ,
pomo
cni znaci: (, ).
Definicija 1.2 Skup iskaznih formula je najmanji skup reci nad azbukom
L koji zadovoljava sledece uslove:
vecini ljudi je mnogo lakse citati i razumeti iskazne formule opisane Deni-
cijom 2.
Uobicajeno je da se prilikom rada u iskaznoj logici pridrzavamo sledecih
dogovora:
A = A(p1 , p2 , . . . , pn )
Teorema 1.1 Neka je O neki podskup skupa svih iskaznih formula F orm
tako da vaze sledeci uslovi:
S O,
Ako formule A i B pripadaju skupu O, tada i formule
A B, A B, A B, A B, A
pripadaju skupu O.
Tada je O = F orm.
1.4 Interpretacije
v (A B) = v (A) v (B),
v (A B) = v (A) v (B),
v (A B) = v (A) v (B),
v (A B) = v (A) v (B),
v (A) = v (A).
Nije tesko uvideti da za datu valuaciju postoji jedna i samo jedna inter-
pretacija (tj. jedna funkcija koja prosiruje preslikavanje sa skupa S na ceo
skup F orm).
Dokaz. Neka je A = A(p1 , p2 , . . . , pn ) neka iskazna formula, i neka su i
dve valuacije, takve da imaju istu vrednost za sva iskazna slova koja gurisu
u A. Tada se indukcijom po slozenosti iskazne formule A lako dokazuje da
je v (A) = v (A).
p q r p q (p q) r
A A,
ako A B onda B A,
ako A B i B C onda A C.
Definicija 1.9 Pro sirena azbuka iskazne logike L se dobija dodavan-
jem dva simbola logi ckih konstanti i standardnoj azbuci L. Skup
iskaznih formula F orm je najmanji skup reci nad azbukom L tako da vazi:
p q r f
Posmatrajmo one redove (vrste) tablice u kojima funkcija f ima vrednost
, i pokusajmo da konstruisemo formulu Af koja ce imati vrednost tacno
za te cetiri valuacije. Formula p q r je tacna samo u jednom slucaju:
kada je (p) = (q) = (r) = , i to odgovara prvoj vrsti tablice. Dalje,
posmatrajmo cetvrtu vrstu: formula koja je jedino tacna za tu kombinaciju
vrednosti iskaznih slova p, q, r jeste pq r. Sesta
vrsta takode daje tacnu
vrednost, sto postizemo formulom p q r, dok poslednjoj vrsti odgovara
formula p q r. Formulu koja ce biti tacna ako i samo ako nastupi
jedna od prethodna cetiri sucaja dobijamo tako sto napravimo disjunkciju
prethodne cetiri formule: (pqr)(pqr)(pqr)(pqr).
za sve x1 , . . . , xn {, } vazi:
f (x1 , . . . , xn ) = {x1 a1 xn an : a1 , . . . , an {, }n , f (a1 , . . . , an ) = }
, , ,
, ,
, ,
, .
|= p akko p ,
|= F G akko |= F i |= G,
|= F G akko |= F ili |= G,
|= F G akko (iz |= F sledi |= G),
|= F G akko ( |= F akko |= G),
|= F akko nije |= F .
M od() = { Mod : |= }.
Primer 1.6 Ako skup formula sadrzi neku kontradikciju, onda je M od() =
. Obrnuto, ako su sve formule u tautologije, onda je M od() = Mod.
1.7. Modeli i teorije 23
dat je neki skup osobina (tj. neki skup formula na nekom jeziku), i
pitamo se kako izgledaju strukture koje su odredene tim aksiomama
(dakle, kako izgleda M od().
Dokaz.
Dokaz.
1.8 Logi
cka (semanti
cka) posledica
Glavni zadatak logike je izucavanje pojma logicke posledice ili logickog za-
kljucivanja tj. kada iz tacnosti pretpostavki nuzno sledi tacnost zakljucka.
Formalizacija tog pojma je pojam logicke (semanticke) posledice:
U sledecoj teoremi smo naveli tri vazne osobine semanticke rampe |=,
tzv. pravila o prebacivanju preko rampe.
1. A |= B akko |= A B,
2. A1 , . . . , An |= B akko |= (A1 An ) B,
3. A1 , . . . , An |= B akko A1 , . . . , An1 |= An B.
1.9 Semanti
cki tabloi
Metod semantickih tabloa prvi je opisao Evert Beth, 1955. godine, a dalje
ga razvio Raymond Smullyan, 1971. godine. U principu, taj metod je samo
zgodno zapisano zdravorazumsko sistematicno traganje za valuacijom koja
zadovoljava neku formulu (ili, ekvivalentno, traganje za modelom u kome ta
formula vazi). Ako je recimo formula oblika B C, onda da bi ona bila tacna
u nekoj valuaciji, moraju i formula B i formula C da budu tacne. U slucaju
da je formula oblika B C, imamo dve mogucnosti: mozda je formula B
tacna, a mozda je C tacna. Takode, ako zelimo da ispitamo kada je neka
formula netacna, u zavisnosti od glavnog iskaznog veznika, imamo razlicite
mogucnosti: recimo formula oblika B C je netacna samo u slucaju da je
B tacna a C netacna, i tako dalje.
Metod semantickih tabloa se najcesce koristi za ispitivanje da li je data
formula A tautologija i to na sledeci nacin: pretpostavimo da postoji valu-
acija u kojoj je A netacna, pa silazeci sve dublje u potformule formule A,
zapisujemo kakve sve mogucnosti imamo. Ponekad cemo imati situaciju da
iz date pretpostavke zakljucimo nesto o nuznoj istinitosnoj vrednosti obe
(glavne) potformule, a ponekad cemo imati grananje na dve mogucnosti.
Ako iscrpimo sve mogucnosti, i nismo dosli do kontradikcije, onda mozemo
rekonstruisati valuaciju za koju ce polazna formula biti netacna, ili cemo
konstatovati da sve mogucnosti vode do kontradikcije, pa takva valuacija ne
postoji (dakle, polazna formula A je tautologija). Razlika izmedu zdravo-
razumskog rezonovanja i metoda semantickih tabloa je u zapisivanju: kod
semantickih tabloa ceo proces zapisujemo u obliku stabla, i na kraju rezul-
tat citamo tako sto pogledamo kako su se grane zavrsile - da li su ostale
otvorene (onda trazena valuacija postoji) ili su se sve grane zatvorile (pa
smo svuda dosli do kontradikcije, i trazena valuacija ne postoji).
U ovoj prici smatracemo da su iskazne formule konstruisane nad skupom
iskaznih veznika , , , . Umesto da pisemo v (A) = pisacemo jed-
nostavno A (ili (A)), a umesto v (A) = pisemo A (ili (A)). Izraze
A i A zovemo oznacene formule. Za oznacenu formulu A kazemo da
je zadovoljiva ako postoji valuacija takva da je v (A) = . Analogno,
oznacena formula A je zadovoljiva ako postoji valuacija takva da je
v (A) = . Skup oznacenih formula S je zadovoljiv ako postoji valuacija
koja zadovoljava sve oznacene formule iz skupa S.
Na oznacene formule cemo primenjivati razna pravila: na neke formule
mozemo primeniti pravila tipa , a na druge formule pravila tipa :
1.9. Semanticki tabloi 27
Pravila tipa ()
(A) (A) (A B) (A B) (A B)
A A A A A
B B B
Pravila tipa ()
(A B) (A B) (A B)
A|B A|B A|B
ako H, onda 1 , 2 H
30 Glava 1. Iskazna logika
(p) = akko p H.
, , , ,
32 Glava 1. Iskazna logika
jedan dokazni niz. Svaka formula u tom dokaznu nizu je teorema tog deduk-
tivnog sistema. Nije tesko videti da se skup svih teorema sistema D sastoji
od reci koje imaju paran broj simbola (bar dva), ili neparan broj simbola,
(ali bar 3).
1. Cons();
3. Cons(Cons()) = Cons().
1.11 Iskazni ra
cun - deduktivni sistem za iskaznu
logiku
A A.
34 Glava 1. Iskazna logika
Dokaz.
A1 , A2 . . . , An1 , A B, A, B.
A1 , A2 , . . . , An = B.
Indukcijom po n dokazimo da je A B.
A Ai ,
A (Ai B).
Neka je B1 , B2 , . . . , Bm dokazni niz za formulu A Ai (dakle,
Bm = (A Ai )), a C1 , C2 , . . . , Ck dokazni niz za formulu A
(Ai B) (dakle, Ck = (A (Ai B))). Tada trazeni dokazni
niz za formulu A B nastaje nadovezivanjem sledecih nizova
formula:
B1 , B2 , . . . , Bm1 , A Ai ,
C1 , C2 , . . . , Ck1 , A (Ai B),
(A (Ai B)) ((A Ai ) (A B)),
(A Ai ) (A B), A B.
Dakle, A B.
U lemama koje slede, A, B, C su proizvoljne formule.
Lema 1.3 A B, B C A C
Lema 1.4 A, A B.
Dokaz.
1. A . . . . . . . . . . . . . . . . . . . . . hipoteza
2. A (B A) . . . . . Ax1
3. B A . . . . . . . . . . . . . . MP 1.2.
4. (B A) (A B) Ax3
5. A B . . . . . . . . . . . . . . . . . MP 3.4.
6. A . . . . . . . . . . . . . . . . . . . . . . hipoteza
7. B . . . . . . . . . . . . . . . . . . . . . . MP 5.6.
Odgovarajuce izvedeno pravilo jeste:
A, A
KON T R : .
B
Ponekad cemo koristiti onu verziju Leme 2, u kojoj smo obe hipoteze preba-
cili preko rampe: A (A B). Ovu (kao i bilo koju ranije dokazanu)
teoremu mozemo ubaciti kao legalan korak u proizvoljni dokazni niz.
U obrazlozenju pisemo oznaku odgovarajuceg izvedenog pravila, u ovom
slucaju KONTR.
Lema 1.5 a) A A,
b) A A,
c) A B B A.
Dokaz. a) A A
1. A . . . . . . . . . . . . . . . . . . . . . . . . . hipoteza
2. A (A A) . . . . . . . KONTR
3. A A . . . . . . . . . . . . . . . . . MP 1.2.
4. (A A) (A A) Ax1
5. A A . . . . . . . . . . . . . . . . . . . . MP 3.4.
6. A . . . . . . . . . . . . . . . . . . . . . . . . . . . . MP 1.5.
1.11. Iskazni racun - deduktivni sistem za iskaznu logiku 37
b) A A
1. (A A) (A A) Ax3
2. A A . . . . . . . . . . . . . . . . . Lema 4.a)
3. A A . . . . . . . . . . . . . . . . . . . . MP 1.2.
c) A B B A
1. A B . . . . . . . . . . . . . . . . . . . . . . . hipoteza
2. B B . . . . . . . . . . . . . . . . . . . . Lema 4.b)
3. A B . . . . . . . . . . . . . . . . . . . . TRANZ na 1.2.
4. A A . . . . . . . . . . . . . . . . . . . . Lema 4.a)
5. A B . . . . . . . . . . . . . . . . . TRANZ na 4.3.
6. (A B) (B A) Ax3
7. B A . . . . . . . . . . . . . . . . . . . . MP 5.6.
Sada mozemo navesti odgovarajuca izvedena pravila:
A A AB
DN 1 : , DN 2 : , KP : .
A A B A
Lema 1.6 A B, A B B
Dokaz.
1. A B ......................................................... hipoteza
2. A B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . hipoteza
3. B A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . KP na 2.
4. A A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . DN1
5. B A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . TRANZ 3.4.
6. B B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . TRANZ 5.1.
7. B (B (B B)) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . KONTR
8. (B (B (B B))) ((B B) (B (B B))) Ax2
9. (B B) (B (B B)) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . MP 7.8.
10. B (B B) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . MP 6.9.
11. (B (B B)) ((B B) B) . . . . . . . . . . . . . . . . . . . . . . . . . Ax3
12. (B B) B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . MP 10.11.
13. B B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lema 1.
14. B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . MP 12.13.
Izvedeno pravilo (suprotne pretpostavke) koje sledi iz ove leme je:
A B, A B
SP : .
B
Sledeca lema daje sva cetiri pravila za sintezu implikacije.
38 Glava 1. Iskazna logika
Lema 1.7 a) A, B A B,
b) A, B (A B),
c) A, B A B,
d) A, B A B.
Dokaz.
a) A, B A B
1. B . . . . . . . . . . . . hipoteza
2. B (A B) Ax1
3. A B . . . . . . . MP 1.2.
b) A, B (A B)
Prvo dokazimo jednu teoremu, koju cemo iskoristiti u prvom koraku dokaza
ovog tvrdenja. Kako je A, A B B, ako primenimo Teoremu dedukcije
dva puta, dobijamo da je
A ((A B) B).
Lema 1.8 a) (A B) A
b) (A B) B
Dokaz.
a) Dokazacemo da je (A B) A.
1.11. Iskazni racun - deduktivni sistem za iskaznu logiku 39
1. A (A B) . . . KONTR
2. (A B) A KP na 1.
3. A A . . . . . . . . DN1
4. (A B) A . . . TRANZ na 2.3.
b) Dokazacemo (A B) B
1. B (A B) . . . Ax1
2. (A B) B KP na 1.
Na osnovu ove leme dobijamo izvedena pravila:
(A B) (A B)
N I1 : , N I2 : .
A B
Na kraju ove sekcije uvedimo i ostale uobicajene logicke veznike u nas de-
duktivni sistem I. U stvari, formalno gledano, necemo prosirivati azbuku,
nego cemo veznike , i uvesti kao zamene za neke formule:
Posledica 1.1 a) A B A
b) A B B
c) A, B A B
Dokaz.
a) Sledi direktno po pravilu NI1.
b) Sledi po pravilima NI2 i DN1.
c) Sledi po pravilima DN2 i SI2.
Odgovarajuca izvedena pravila su:
AB AB A, B
K1 : , , K2 : , SK : .
A B AB
Modus Ponens
A, A B
MP :
B
Tranzitivnost implikacije
A B, B C
TRANZ :
AC
Kontradiktorne hipoteze
A, A
KON T R :
B
Dvojna negacija
A A
DN 1 : , DN 2 :
A A
Kontrapozicija
B A AB
KP 1 : , KP 2 :
AB B A
Suprotne pretpostavke
A B, A B
SP :
B
Sinteza implikacije
A, B
SI2 :
(A B)
Negacija implikacije
(A B) (A B)
N I1 : , N I2 :
A B
Rastavljanje konjunkcije
AB AB
K1 : , , K2 :
A B
Sinteza konjunkcije
A, B
SK :
AB
1.12. Mala teorema kompletnosti i odlucivost iskaznog racuna 41
|= A akko A.
Prvo cemo dokazati specijalni slucaj ove teoreme, kada je skup hipoteza
prazan (tzv. Mala teorema kompletnosti ): Formula A je teorema iskaznog
racuna H akko je A tautologija. Za dokaz Male teoreme kompletnosti
potrebna nam je samo jos jedna lema. Kao i ranije, ako je F neka for-
mula, a {, }, onda oznaka F a znaci F , ako je a = , odnosno F ako
je a = .
p1 a1 , p2 a2 , . . . , pn an Aa .
p1 a1 , p2 a2 , . . . , pn an pi ai .
p1 a1 , p 2 a2 , . . . , pn an B b .
p1 a1 , p2 a2 , . . . , pn an B,
odnosno
p1 a1 , p2 a2 , . . . , pn an B,
42 Glava 1. Iskazna logika
a to je
p1 a1 , p2 a2 , . . . , pn an (B) ,
sto i jeste ono sto treba dokazati, jer je a = . Slicno, ako je
b = , onda po indukcijskoj hipotezi imamo
p1 a1 , p2 a2 , . . . , pn an B,
p1 a1 , p 2 a2 , . . . , p n an B b ,
p1 a1 , p 2 a2 , . . . , p n an C c .
Ako je a vrednost formule B C u istoj valuaciji (tj. u valuaciji
u kojoj je (pi ) = ai , za sve i {1, 2, . . . , n}), onda je naravno
a = (b c). U zavisnosti od konkretnih vrednosti b i c, imamo
cetiri slucaja:
(a) b = , c = ,
(b) b = , c = ,
(c) b = , c = ,
(d) b = , c = .
No, zbog Leme 1.7, u sva cetiri slucaja imamo da vazi
B b , C c (B C)a ,
pa prema tome
p1 a1 , p2 a2 , . . . , pn an (B C)a .
Dokaz.
p1 a1 , p2 a2 , . . . , pn an A,
p1 a1 , p2 a2 , . . . , pn A,
p1 a1 , p2 a2 , . . . , pn A.
Primenimo sada Teoremu dedukcije na oba slucaja, dobijamo
p1 a1 , p2 a2 , . . . , pn1 an1 pn A,
p1 a1 , p2 a2 , . . . , pn1 an1 pn A.
Pravilo SP nam daje pn A, pn A A. Prema tome,
p1 a1 , p2 a2 , . . . , pn1 an1 A.
Posledica Male teoreme kompletnosti je odlucivost iskaznog racuna:
ako A onda |= A.
Da bi dokazali obrat, tj. da iz |= A sledi A potreban nam je
pojam (maksimalno) konzistentnog skupa formula.
A i A.
Dokaz.
Sledeca, jednostavna ali vazna, teorema daje vezu izmedu izvodivosti for-
mule iz datog skupa formula i konzistentnosti skupa formula koji nastaje
iz dodavanjem negacije te formule.
46 Glava 1. Iskazna logika
1. Za sve formule A,
A akko A .
2. Za sve formule A i B,
A B akko (A i B ).
Dokaz.
Jedna od najvaznijih koraka ka dokazu teoreme kompletnosti iskaznog
racuna je sledeca teorema (poznata takode pod nazivom Lema Linden-
bauma):
...
{
n {An }, ako je skup n {An } konzistentan ,
n=1 =
n , u suprotnom
...
Tako dobijamo neopadajuci niz skupova formula
= 1 2 n n+1 . . .
Neka je
= n .
n1
|= A akko A .
(pi ) = akko pi .
Slicno,
ako |= A onda A.
|= A akko A.
50 Glava 1. Iskazna logika
Kao sto smo videli, ponekad je tesko pronaci dokazni niz u iskaznom racunu
H za neku formulu, jer dokazni niz se ne vidi iz same formule koju treba
dokazati, nego se cesto treba necega dosetiti. Prema tome, nije lako im-
plementirati na racunaru traganje za dokazom u Hilbertovom deduktivnom
sistemu H. Metod rezolucije je postupak za dokazivanje da li je neka iskazna
(ili predikatska) formula zadovoljiva, a koji se moze lakse implementirati na
racunaru. Kako je formula tautologija (odnosno valjana) akko njena ne-
gacija nije zadovoljiva, metod rezolucije se moze koristiti za dokazivanje da
li je neka formula tautologija (odnosno da li je valjana). Takode, kako je
formula B semanticka posledica konacnog skupa formula {A1 , A2 , . . . , An }
akko je formula A1 A2 An B tautologija (odnosno valjana), metod
rezolucije je primenljiv i za ispitivanje da li je neka formula B semanticka
posledica nekog konacnog skupa hipoteza.
Metod rezolucije je formulisao Alan Robinson 1965. godine (u radu
pod naslovom A machine oriented logic based on the resolution princi-
ple), oslanjajuci se na mnogobrojne rezultate koji su prethodili tom otkricu.
Glavne ideje metode rezolucije cemo izloziti za slucaj iskazne logike, a pred-
nosti ove metode ce se videti kasnije, u slucaju predikatske logike.
Metod rezolucije se primenjuje za formule koje su u konjunktivnoj nor-
malnoj formi, tj. za formule koje su konjunkcije nekih disjunkcija. Kao sto
smo videli u Sekciji 6, za svaku iskaznu formulu postoji njoj ekvivalentna
formula koja je u konjunktivnoj normalnoj formi. Naravno, ako je data
1.14. Rezolucija u iskaznoj logici 51
l1 l2 . . . ln .
A p, p B |= A B,
C1 , C2 , . . . , Ck
gde je Ck = C, takav da svaka klauzula tog niza pripada skupu S ili se dobija
pravilom rezolucije od ranijih formula u nizu. U tom slucaju takode kazemo
da je skup rezolventnih izvoda iz S dobijen metodom rezolucije iz skupa
S.
Lako je videti da ce sigurno nastupiti bar jedan od ta dva slucaja, jer krecemo
od konacnog skupa klauzula, u kojima gurise samo konacno mnogo iskaznih
slova, recimo n razlicitih iskaznih slova. Nad tim skupom isk znih slova
postoji samo konacno mnogo razlicitih literala, pa mozemo napraviti samo
konacno mnogo razlicitih klauzula. Prema tome, metod rezolucije ce se
sigurno zaustaviti. Videli smo da ako u nekom koraku dobijemo praznu
kaluzulu, to ce znaciti da polazni skup klauzula nije zadovoljiv (pouzdanost
metode rezolucije). S druge strane, moze se dokazati da je metoda rezolucije
takode i kompletna, tj. ako polazni skup klauzula S nije zadovoljiv, onda je
prazna klauzula rezolventni izvod od S (za dokaz videti recimo ...).
Dakle, primenu metode rezolucije na neki konacan skup klauzula S
mozemo opisati sledecom procedurom:
Predikatska logika
Logika prvog reda Ovaj naziv sugerise da postoje i logike reda dva,
tri i vise. Kratko (i grubo) receno, logika prvog reda ima za cilj (i
ima moc) da opise osobine objekata na prvom nivou, tj. govori o
pojedinacnim objektima koji se nalaze u nosacu matematicke struk-
ture koju izucavamo. Na primer, ako zelimo da izucavamo osobine
57
58 Glava 2. Predikatska logika
Drugo pitanje jeste da li postoji jedna predikatska logika ili vise njih?
Naime, uobicajeno je da se govori u jednini, predikatska logika, logika pr-
vog reda, a ustvari se misli na sve predikatske logike, koje se medusobno
razlikuju samo u skupu nelogickih simbola. Dakle, odgovor je: postoji
puno (beskonacno mnogo) predikatskih logika, ali se one mogu zajedno raz-
matrati, jer je (bar na nekom nivou) razlika medu njima samo tehnicke
prirode. Zbog toga, uobicajeno je govoriti u jednini, predikatska logika, i
pri tome misliti o svim mogucim predikatskim logikama.
Trece pitanje koje se prirodno namece jeste kakav je odnos predikatske
i iskazne logike? Na neki nacin, mozemo smatrati da je iskazna logika
grublja. Ona radi sa iskazima kao nedeljivim atomima, a predikatska
logika izucava i strukturu iskaza. Sve zakonitosti koje vaze za iskaze (a koje
smo izucavali u iskaznoj logici) nastavljaju da vaze i u predikatskoj logici,
ali sad cemo sprovoditi i nije analize.
Ukoliko gore iznete napomene u ovom trenutku nisu previse pomogle
da se dobije jasniji uvid sta je predikatska logika, ne treba se obeshrabriti.
Savetujemo citaoca da se vrate na ove redove ponovo, na kraju poglavlja o
predikatskoj logici. Pravi smisao ovih napomena ce se videti tek posle kom-
pletnog razmatranja sintaktickih i semantickih osobina predikatske logike.
2.2. Sintaksa predikatske logike 59
Dogovori:
t = t(v1 , v2 , . . . , vn )
Dogovor:
Kao i u slucaju binarnih funkcijskih simbola, i za binarne relacijske simbole
R2 mozemo koristiti inksnu notaciju t1 t2 umesto preksne notacije
(t1 , t2 ).
Dogovori:
Dogovori:
3. Pored slova, kao simbole binarnih relacija koristimo oznake kao sto su
=, ,
=, , , . . .
4. U praksi cesto koristimo istu oznaku za simbol jezika i njegovu inter-
pretaciju.
Kao sto nam kaze intuicija, vrednost terma ne zavisi od vrednosti onih
promenljivih koje ne ucestvuju u datom termu, sto cemo i dokazati u sledecoj
teoremi:
tM [1 ] = f M (tM M M
1 [1 ], t2 [1 ], . . . , tn [1 ]) =
= f M (tM M M M
1 [2 ], t2 [2 ], . . . , tn [2 ]) = t [2 ]
Oznaka:
Neka je : X M neka valuacija modela M, x X neka promenljiva i
a M neki element iz modela. Sa (a/x) cemo obelezavati valuaciju koja
se od razlikuje eventualno za promenljivu x, za koju ima vrednost a, tj.
64 Glava 2. Predikatska logika
(a/x)(x) = a
Pema tome, za zatvorene formule A imamo da ce one vaziti na nekom
modelu za neku valuaciju akko vaze za svaku valuaciju.
66 Glava 2. Predikatska logika
Kazemo da formula A va
zi na modelu M, u oznaci
M |= A
ako je M |= A za sve valuacije : X M .
Kazemo da je formula A valjana, u oznaci |= A, ako za sve modele
M jezika L vazi M |= A.
U slucaju da je jezik na kome radimo neki jezik prvog reda, ove dve vrste
problema opisuju operatori Th i Mod. Operator Th svakoj klasi modela K
nekog jezika prvog reda L dodeljuje skup svih formula Th(K) koje vaze na
svakom od tih modela, a operator Th radi obrnuto, svakom skupu formula
dodeljuje klasu onih struktura Mod() koje zadovoljavaju sve formule iz
skupa .
K |= akko za sve A va vi K |= A.
Mod() = {M M odL : M |= }
Th(Mod()).
K Mod(Th(K)).
Mod(Th(Mod())) = Mod().
Th(Mod(Th(K))) = Th(K).
68 Glava 2. Predikatska logika
Definicija 2.11 Neka je L neki jezik prvog reda, X neki skup promenljivih,
F ormL (X) i A F ormL (X). Kazemo da je formula A semanti cka
posledica skupa formula , u oznaci
|= A
ako M |= onda M |= A.
Primer 2.5
Kao sto smo rekli, formula A je valjana, u oznaci |= A, ako vazi u svakom
modelu M (odgovarajuceg jezika L), tj. M |= A.
A (B A), (A B) (B A), (A B) (A B)
valjane.
Dokaz. Jasno.
Naravno, nisu sve valjane formule izvodi iz tautologija, kao sto mozemo
videti u sledecem primeru:
Primer 2.7 Neka je L neki jezik prvog reda, X neki skup promenljivih,
A neka formula na tom jeziku. Dokazimo da je formula (y)(x)A
(x)(y)A valjana. Treba dokazati da za sve modele M jezika L i sve valu-
acije : X M vazi
M |= (y)(x)A (x)(y)A.
Treba dokazati da ako je M |= (y)(x)A onda M |= (x)(y)A. Po
definiciji vazenja formule, treba dokazati da ako postoji neki element a M
takav da za sve elemente b M vazi
M |= (a/y)(b/x) A,
onda za sve c M postoji element d M takav da
M |= (c/x)(d/y) A.
No, lako je videti da za trazeni element d mozemo stalno uzimati element a.
Ako |= A i |= A B, onda |= B.
1. (x)A (x)A,
2. (x)A (x)A.
2. Slicno kao 1.
U sledecoj teoremi cemo videti da se kvantikator slaze sa konjunkci-
jom, a sa disjunkcijom:
se tice veze izmedu kvantikatora i veznika odnosno izmedu i
Sto
, imamo da se oni slazu samo u jednom smeru:
To znaci da imamo:
2. Slicno.
Vazno je primetiti da za formule iz prethodne teoreme ne vaze obrnuti
smerovi tj. formule
Primer 2.9 Neka je L jezik prvog reda koji od nelogickih simbola sadrzi
samo jedan unaran relacijski simbol i neka je A = (x), B = (x). Jasno
je da ce formula (x)((x) (x)) vaziti u svakoj interpretaciji. Neka je
sada M model ciji je nosac skup prirodnih brojeva N i u kome interpretaciju
relacijskog simbola definisemo tako da za sve n N,
Tada formula (x)(x) (x)(x) nece vaziti u tom modelu. Prema tome,
formula (x)(A B) (x)A (x)B nije valjana. Primetimo da se isti
model moze iskoristiti za dokaz da ni formula (x)A (x)B (x)(A B)
nije valjana.
A B.
Dokaz.
Dve korisne tehnike koje mozemo koristiti prilikom resavanja razlicitih prob-
lema u predikatskoj logici jesu konstrukcija preneksne forme date formule,
kao i tzv. skolemizacija. Kratko receno, formula F predikatske logike je u
preneksnoj formi ako se svi kvantikatori nalaze na pocetku formule, dok
skolemizacija znaci oslobadanje od egzistencijalnih kvantikatora, uvodenjem
novih simbola konstanti i funkcijskih simbola. Moze se dokazati da za svaku
predikatsku formulu F postoji ekvivalentna formula koja je u preneksnoj
formi. Za skolemovu formu vazi slabije tvrdenje: za svaku formulu F predi-
katskog racuna postoji formula F S koja je u skolemovoj formi, tako da
formula F ima model ako i samo ako formula F S ima model. No, kada je
zadatak da se utvrdi da li neka formula (ili skup formula) ima model, onda
je i ta slabija vrsta ekvivalencije dovoljna.
(x)A(x) (y)A(y)
(x)A(x) (y)A(y)
gde smo sa A(y) oznacili formulu koja se dobija simultanom zamenom svih
slobodnih pojavljivanja promenljive x u formuli A(x) sa y.
Primer 2.10 Neka jezik prvog reda sadrzi binaran relacijski simbol i
unaran relacijski simbol . Formula (x)(z)(y)(((x, y) (z)) (y, z))
je u preneksnoj normalnoj formi. Formula
(x)(y)(z)(u)(v)(w)A(x, y, z, u, v, w).
2.6. Preneksna forma i skolemizacija 77
(y)(z)(u)(v)(w)A(c, y, z, u, v, w).
Primer 2.13 Neka jezik prvog reda L sadrzi tri unarna relacijska simbola
, , . Dokazimo da je formula F
ima model. Nadimo prvo preneksnu formu, a zatim skolemovu formu te for-
mule. Prvo cemo uvuci negaciju do elementarne formule a zatim preimen-
ovati vezane promenljive tako, da mozemo bez problema da izvucemo kvan-
tifikatore ispred formule. Imamo redom sledece ekvivalentne formule (neke
korake smo spojili u jedan):
sto je nemoguce.
Kao sto smo rekli u Sekciji 13 (Rezolucija u iskaznoj logici), metod rezolu-
cije je postupak za dokazivanje da je neka (iskazna ili predikatska) formula
(ne)zadovoljiva, a koji se lako moze implementirati na racunaru. Preciznije,
u slucaju predikatske logike, metod rezolucije ima za cilj da dokaze da neki
skup formula, koje su u pogodnom obliku, nema model (tj. nezadovoljiva
je). Specijalno, ako zelimo da ispitamo da li je neka (zatvorena) predikatska
formula F valjana, onda ekvivalentno, mozemo dokazati da je njena negacija
nezadovoljiva. Takode, metod rezolucije mozemo koristiti za dokazivanje da
je neka formula B semanticka posledica nekog skupa formula A1 , A2 , . . . , An ,
jer je to ekvivalentno sa uslovom da skup formula A1 , A2 , . . . , An , B nema
model.
Glavna ideja metoda rezolucije u slucaju predikatske logike je analogna
onoj koju smo izneli u slucaju iskazne logike. Formula F za koju zelimo
da dokazemo da nema model prvo mora biti u tzv. klauzalnoj formi, koja
se zatim razbija na konacan skup klauzula. Svaka klauzula je (implic-
itno) univerzalno kvantikovana disjunkcija literala. Pravilo rezolucije se
primenjuje na klauzule C1 i C2 koje u sebi sadrze suprotne literale, tako sto
dobijamo novu klauzulu, koja nastaje brisanjem suprotnih literala a zatim
spajanjem preostalih literala iz C1 i C2 . Pravilo rezolucije cuva zado-
voljivost, pa ako posle uzastopne primene pravila rezolucije dobijemo praznu
klauzulu [], koja je nezadovoljiva, zakljucujemo da je i polazni skup klauzula
bio nezadovoljiv, sto znaci da je i formula F nezadovoljiva. Metod rezolu-
cije za predikatski racun je pouzdan, tj. ako se tim metodom dobije prazna
klauzula, onda je pocetna formula zaista nezadovoljiva. Takode, taj metod
je i kompletan, sto znaci da ako je pocetna formula nezadovoljiva, metod
80 Glava 2. Predikatska logika
Neka je L neki jezik prvog reda, koji sadrzi simbole konstanti, relacijske i
funkcijske simbole raznih arnosti, i X neki skup promenljivih. Zbog lakseg
snalazenja, po pravilu, za simbole konstanti cemo korisiti simbole a, b, c, ...,
za relacijske simbole , , , ..., za funkcijske simbole f, g, h, ..., a za promenljive
simbole x, y, z, u, v, .... Za term kazemo da je bazni ako nema promenljivih.
2.8. Klauzalna forma i Erbranova teorema 81
Primer 2.14 Ako je skup klauzula S = {(x, f (x, a))(a, y), (f (x, x), z)},
onda je Erbranov univerzum
H(S) = {a, f (a, a), f (a, f (a, a)), f (f (a, f (a, a)), f (a, a)), . . . }.
Primer 2.15 Za skup klauzula S = {(x, f (x, a))(a, y), (f (x, x), z)}
Erbranova baza sadrzi recimo sledece atomarne formule:
Neka je S neki skup klauzula, koji odreduje neki jezik prvog reda L.
Erbranova interpretacija od S je svaki model tipa L, koji za nosac ima Er-
branovu bazu H(S), pri cemu se svaki bazni term interpretira kao on sam,
dok je interpretacija relacijskih simbola proizvoljna. Prema tome, svako
preslikavanje Erbranove baze B(S) u skup {, } odreduje jednu Erbra-
novu interpretaciju. Erbranovu interpretaciju mozemo zadati i kao podskup
Erbranove baze, tj. kao skup onih atomarnih formula iz B(S) koje su tacne u
toj interpretaciji. Ukoliko je Erbranova interpretacija H model za S (tj. sve
klauzule iz S su tacne u toj interpretaciji), kazemo da je H Erbranov model
2.8. Klauzalna forma i Erbranova teorema 83
(a, f (a, a)), (b, f (a, a)), (f (a, a), f (a, a)), (f (a, b), f (a, a)), . . . ,
Teorema 2.14 Neka je S skup klauzula. Tada S ima model ako i samo ako
ima Erbranov model.
Dokaz. Jedan smer je trivijalan: ako postoji konacan skup baznih instanci
klauzula iz S koji je nezadovoljiv, onda je i skup S nezadovoljiv. Obrnuto,
ako je S nezadovoljiv, dokazimo da postoji konacan skup baznih instanci
klauzula iz S koji je nezadovoljiv. Svakoj atomarnoj formuli koja je bazna
instanca klauzula iz S dodelimo neko iskazno slovo. Neka je tako dobijen
skup iskaznih formula. Zbog teoreme o kompaktnosti iskazne logike znamo
da ima model akko svaki konacan podskup ima model. Znamo da je S
nezadovoljiv, sto znaci da nema svoj Erbranov model, iz cega sledi da
nema model. Prema tome, postoji neki konacan podskup od koji nema
model (tj. valuaciju takvu da su sve formule iz tacne), pa odgovarajuci
skup baznih instanci klauzula isto ne moze imati model (u predikatskoj
logici).
= {x t1 , y t2 , z t3 },
Ako je neka supstitucija, a E neki izraz (term, literal ili klauzula ili skup
klauzula), onda rezultat E primene supstitucije na E jeste izraz koji nastaje
simultanom zamenom svih promenljivih x iz tog izraza svojim slikama (x).
Kazemo i da je E jedna instanca od E. Ako su i dve supstitucije, onda
se rezultat primene njihove kompozicije na izraz E denise kao izraz
(E) (tj. primena kompozicije dve supstitucije jeste njihova uzastopna
primena).
Za dva izraza e1 i e2 kazemo da su unifikabilni ako postoji supstitucija
takva da je e1 = e2 . U tom slucaju kazemo da je njihov unifikator.
Naravno, dva izraza ne moraju biti unikabilni. S druge strane, za neke
izraze moze postojati i vise unikatora.
86 Glava 2. Predikatska logika
Kao sto smo ranije napomenuli, moze da se desi da se ovako opisana pro-
cedura ne zaustavlja (taj slucaj ce se desiti svaki put kada skup klauzula
S ima samo beskonacne modele - videti Primer...), pa ova procedura nije
algoritam za odlucivanje zadovoljivosti konacnih skupova klauzula).
Dve najvaznije osobine metoda rezolucije za predikatsku logiku su pouz-
danost (saglasnost) i kompletnost (za pobijanje zadovoljivosti).
(x)((x) (x)),
(x)(x),
(x)(x)).
(x)((x) (x)),
(x)(x),
(a),
2.10. Rezolucija u predikatskoj logici - Primeri 89
(x)(C(x) Q(x)),
(x)(Q(x) R(x)).
(x)(C(x) W (x)),
(x)(C(x) R(x)),
C(a),
Q(a),
(x)(Q(x) R(x)).
(x)(y)A(x, y),
(x)(y)A(x, y)
(x)(y)((x) (y)),
(x)(y)((x) (y)),
(x)(y)((x) (y)).
(x)((x) (f (x))),
(x)((x) (g(x))),
(a),
(y)(y).
(x)(A(x) B(x)),
(x)(y)(A(x) C(y)),
(x)B(x)),
(x)C(x).
92 Glava 2. Predikatska logika
2.11 Predikatski ra
cun kao deduktivni sistem
Ax = Ax1 Ax2 Ax3 Ax4 , Ax5 , gde su Ax1 , Ax2 , Ax3 , Ax4 , Ax5
skupovi formula definisani pomocu tzv. sema aksioma (dakle, A, B, C
F ormL (X)):
Ax1 : A (B A)
Ax2 : (A (B C)) ((A B) (A C))
Ax3 : (A B) (B A)
Ax4 : (x)(A B) (A (x)B), ako promenljiva x X nije
slobodna u formuli A,
Ax5 : (x)A(x) A(t), ako je term t slobodan za promenljivu x u
formuli A(x).
R = {MP, Gen}, ( modus ponens odnosno generalizacija),
A, A B A
MP : , Gen :
B (x)A
Jedini pojam koji zahteva objasnjenje iz ove denicije je pojam term t
slobodan za promenljivu x u formuli A(x), koji se pojavljuje u aksiomi Ax5 .
Oznake:
U daljem cemo smatrati da smo ksirali neki jezik prvog reda L i skup
promenljivih X i da su svi sintakticki objekti, sa kojima radimo, na
tom jeziku.
Neka je x neka promenljiva a t neki term. Ako je A neka formula, onda
ce A = A(x) znaciti da formula A sadrzi x kao slobodnu promenljivu
(pored x, formula A(x) moze imati i druge slobodne promenljive).
Sa A(t) cemo obelezavati formulu koja nastaje od A(x) kada se sva
slobodna pojavljivanja promenljive x u formuli A(x) simultano zamene
termom t.
Uvodimo sledece skracene oznake:
(x)A je zamena za (x)A
AB je zamena za A B
AB je zamena za (A B)
AB je zamena za (A B) (B A)
Ako je t1 = x + y a t2 = z + 0, onda je
Primer 2.27 Neka je < neki binaran relacijski simbol nekog jezika L i neka
je A(x) = (y)x < y i neka je M model tog jezika ciji je nosacskup prirodnih
brojeva i u kome se relacijski simbol < interpretira kao obicna relacija <.
Neka je sada t = y. Tada formula (x)A(x) A(t) ne vazi u tom modelu,
jer dobijamo da M |= (x)(y)x < y ali M |= (y)y < y.
Nakon sto smo opravdali dodatni uslov u aksiomi Ax5 , nastavimo raz-
matranje deduktivnog sistema KL . Naravno, pojmovi dokaznog niza, teo-
reme, sintakticke posledice su samo specijalni slucajevi odgovarajucih poj-
mova denisanih u slucaju bilo kog deduktivnog sistema, pa nema potrebe
da ovde te pojmove denisemo. Vazi takode i specijalan slucaj T 1.21 koju
smo dokazali za bilo koji deduktivni sistem:
2.11. Predikatski racun kao deduktivni sistem 95
Teorema 2.18 Neka je L neki jezik prvog reda, X neki skup promenljivih.
U predikatskom racunu tipa L, za sve skupove formula , 1 , 2 F ormL (X)
vazi:
1. Cons();
3. Cons(Cons()) = Cons().
Ono sto takode lako mozemo uvideti jeste da predikatski racun kao de-
duktivni sistem na neki nacin sadrzi u sebi iskazni racun H. Naime, prve
tri aksiome predikatskog racuna se upravo tri aksiome iz iskaznog racuna.
Pored toga, jedino pravilo izvodenja iz iskaznog racuna, Modus Ponens,
imamo i u predikatskom racunu. Prema tome, sve sto mozemo dokazati
u iskaznom racunu H, mozemo dokazati i u predikatskom racunu KL . S
obzirom na kompletnost iskaznog racuna, prema kome je iskazna formula
tautologija ako i samo ako je teorema iskaznog racuna H, ,mozemo odmah
zakljuciti da vazi sledeca teorema:
Evo sada jedan primer izvodenja u predikatskom racunu koji nema svoje
analogone u iskaznom racunu. Kao i u iskaznom racunu, mozemo izostaviti
zagrade {, } kod nabrajanja hipoteza, pa umesto {A1 , A2 , . . . , An } B piati
samo A1 , A2 , . . . , An B.
Primer 2.29 Neka je unaran relacijski simbol nekog jezika prvog reda L,
x neka promenljiva. Tada je jasno da imamo
(x) (x)(x).
Dokaz.
A1 , A2 , . . . , An = A B, A, B
A Ai , i A (Ai B)
Kao specijalan slucaj, dobijamo da se Teorema dedukcije moze primeniti
recimo ako je formula A zatvorena.
Posledica 2.1 Neka je L neki jezik prvog reda, X skup promenljivih i neka
je F ormL (X), A, B F ormL (X) i neka je formula A zatvorena. Tada
je
A B akko {A} B.
Takode, kao posledicu Teoreme dedukcije dobijamo da se teorema de-
dukcije moze primeniti svaki put kada u odgovarajucim dokazima uopste
nemamo primenu pravila generalizacije - to je slucaj recimo u svim dokaz-
ima izvedenih pravila iskaznog racuna. Prema tome, u predikatskom racunu
mozemo primenjivati sva izvedena pravila iskaznog racuna.
Lema 2.1 Neka je L jezik prvog reda, X skup promenljivih, M model tog
jezika, A(x) formula a t term na tom jeziku. Neka je term t slobodan za
promenljivu x u formuli A(x) i neka je : X M proizvoljna valuacija
modela M. Tada vazi
gde je b = tM [ ].
Sada je lako dokazati da je i Ax5 valjana formula.
Teorema 2.22 Neka je L jezik prvog reda, t neki term a A(x) neka formula
na tom jeziku. Ako je term t slobodan za promenljivu x u formuli A(x), onda
je formula (x)A(x) A(x) valjana.
M |= (x)A(x) A(x).
Tada je jasno |= A.
Na kraju, neka formula sledi po pravilu Gen iz formula Ai . Tada za
formulu Ai vazi indukcijska hipoteza, pa |= Ai . No, tada se lako
vidi da vazi i |= (x)Ai , sto smo i trebali dokazati.
Specijalno, ako je skup hipoteza prazan, dobijamo:
Prelazimo sada na dokazivanje kompletnosti predikatskog racuna. Prvo,
pojam konzistentnosti nekog skupa predikatskih formula je isti kao u slucaju
iskazne logike:
A i A.
Teorema 2.24 Neka je L neki jezik prvog reda, X skup promenljivih i neka
je F ormL (X), A F ormL (X) neka zatvorena formula. Tada
A akko {A} nije konzistentan.
|= A akko A.
Dokaz. Jedan smer je trivijalan: ako ima model, onda svaki podskup
od ima model. Pretpostavimo sada da nema model. Zbog T 2.26
zakljucujemo da je protivrecan skup formula, pa postoji formula A tako
da je A A. No, tada bi postojao konacan 0 tako da je
A A. To bi znacilo da |= A A, pa 0 ne bi imao model,
kontradikcija.
104 Glava 2. Predikatska logika
Definicija 2.25 Neka je L jezik prvog reda. Logika prvog reda sa jed-
nako cu tipa L ili predikatska logika sa jednako
s cu tipa L, u oznaci
s
L , se razlikuje od obicne logike prvog reda tipa L po sledecem:
Svi ostali pojmovi iz obicnog predikatskog racuna (kao sto je pojmovi sin-
takticke posledice, teoreme, operatori Cons, Mod, itd.) se prenose u predikatski
racun sa jednakoscu bez promene, jedino sto sada imamo siri skup logickih
aksioma.
|= A akko A.
(P1) x x,
(P2) x y y x x y,
(P3) x y y z x z.
Primer 2.34 (Teorija mre za) U prethodnom primeru smo mrezno uredene
skupove definisali kao specijalne uredene skupove. Drugi, u sustini ekvi-
valentan, pristup teoriji mreza polazi od jezika prvog reda sa jednakoscu
2.13. Predikatska logika sa jednakoscu 107
(L1) x x x,
(L1) x x x,
(L2) x y y z,
(L2) x y y z,
(L3) (x y) z x (y z),
(L3) (x y) z x (y z),
(L4) x (x y) x,
(L4) x (x y) x.
(G1) x (y z) (x y) z,
(G2) x e x,
(G3) x x e.
(B1) S(x) 0,
108 Glava 2. Predikatska logika
(B3) x + 0 x,
(B5) x 0 0,
(B6) x S(y) (x y) + x,
Temporalne logike
3.1 Uvod
(always)
(eventually)
(next)
109
110 Glava 3. Temporalne logike
Definicija 3.1 Neka je P neki skup iskaznih slova. Formule logike PTL
definisemo na sledeci nacin:
Primer 3.1 Neka je P = {p, q, r}. Tada su sledeci izrazi formule logike
PTL:
p q, p p, p r (p p)
Ako je iz konteksta jasno o kojoj interpretaciji je rec, onda umesto vI,s (A)
pisemo samo vs (A).
s |= p i s |= p.
|= p p.
s |= p q i s |= p
s |= (A A) A A.
s = s1 s2 s3 . . . sk1 sk = s .
3. A A
4. (A B) (A B)
3.4. Deduktivni sistem za linear time propositional temporal logic 117
5. A (A A A)
6. (A A) (A A)
A, A B A
MP : Gen : .
B A
AB AB A A
Gen1 : Gen2 : Ind :
A B A B A A
A A A
Exp1 : Exp2 : Exp3 : .
A A A
Kao i u klasicni iskaznom racunu, izvodenja cemo pisati korak po korak, a sa
desne strane svakog koraka cemo pisati obrazlozenje za taj korak, navodeci
u zagradi broj koraka u dokazu na koji je pravilo primenjeno. U slucaju
da koristimo aksiomu 1 (tj. ako smo koristili neku klasicnu tautologiju ili
izvedeno pravilo iz klasicnog iskaznog racuna, kao obrazlozenje cemo pisati
samo PC (propositional calculus).
(p q) (p q) (distributivnost).
1. pq p PC
2. (p q) p Gen2(1.)
3. pq q PC
4. (p q) q Gen2(3.)
5. (p q) (p q) P C(2.4.)
6. (p q) (p q) Ax2
7. (p q) (p q) P C(6.)
8. ( p q) (p q) P C(7.)
9. ( p q) (p q) Ax3(8.)
10. (p q) (p q) P C(9.)
11. (p q) (p q) P C(5.10.)
p p p.
1. p (p p) Ax5.
2. p (p p) Gen2(1.)
3. p p (p p) P C(2.)
4. p p (p p) Ind(3.)
5. (p p) (p p) P rimer(prethodni)
6. p p (p p) P C(4.5.)
7. p p p P C(6.)
3. (p q) (p q)
4. p p
3.4. Deduktivni sistem za linear time propositional temporal logic 119
5. (p p) (p p) (p p)
6. (p q) (p q)
O paradoksima u matematici
121
122 Glava 4. Skupovi, ordinali, kardinali
Paradoks la zova
Najstarija verzija tog paradoksa je cuvena recenica kritskog lozofa
Epimenida Svi Kricani lazu, koja (bez dodatnih pojasnjenja) jos ne
dovodi do kontradikcije, ali se moze lako prepraviti u recenicu koja
vec krije u sebi protivurecnost. Na primer, danas je izvesni Pera Peric
napisao jednu jedinu recenicu: Jedina recenica, koju je Pera Peric
danas napisao, jeste netacna. Ili, jos jednostavnije, Ova recenica je
lazna. Da li je ta recenica tacna ili ne?
Paradoks brice
Bilo jednom jedno selo koje je imalo svog bricu. Brica je brijao tacno
one ljude u selu koji se ne briju sami. Pitanje je da li se brica sam
brije ili ne?
U junu 1901. godine Russell zapaza isti fenomen i posle analize dokaza
Cantorove teoreme konstruise novi paradoks, koji je mnogo elementarniji
ne trebaju nam ni podskupovi ni partitivni skupovi ni pojam kardinala.
Podsetimo se dokaza Cantorove teoreme. Da bi se dokazalo da P(X) ima
veci kardinalni broj od skupa X, pretpostavi se suprotno tj. krene se od
pretpostavke da postoji injekcija : P(X) X, pa se za skup
A = {(S) : (S) S, S X}
dobija zakljucak
(A) A (A) A.
Posto smo dosli do kontradikcije, nasa polazna pretpostavka nije tacna, tj.
ne postoji injekcija : P(X) X.
Kako izbe
ci paradokse u teoriji skupova?
Aksiomatski pristup
Prvi aksiomatski sistem teorije skupova dao je Zermelo, 1908. go-
dine. Posle je Fraenkel dopunio taj sistem, tako da se on danas zove
ZF sistem aksioma, i mi cemo ga u daljem tekstu detaljno izloziti.
Pored ZF sistema, u upotrebi je jos i tzv. NBG sistem aksioma.
Tu teoriju je prvobitno uveo von Neumann (1925, 1928), a zatim su
ga dopunili R. Robinson (1937), P. Bernays (1937-1954) i K. Godel
(1940). Von Neumannova ideja je bila da do kontradikcije u Can-
torovoj teoriji skupova ne dolazi zbog velikih nezgodnih skupova,
nego zato sto su ti veliki skupovi neciji elementi. Tako, on je nekim
objektima zabranio da budu elementi nekog drugog objekta te ob-
jekte zovemo klase. Objekte koji su elementi nekog drugog objekta
on zove skupovi. Za razliku od ZF teorije, NBG teorija ima konacno
mnogo aksioma. No, iako se ZF teorija moze smatrati za podteoriju
NBG teorije, sto se tice protivurecnosti, one su ravnopravne. Naime,
moze se dokazati da je ZF teorija neprotivurecna ako i samo ako je
neprotivurecna NBG teorija. Naravno ni u jednoj teoriji se ne mogu
izvesti poznati paradoksi iz Cantorove teorije skupova.
Malo filozofije
formalno iz aksioma, i sto se upotreba intuicije (sto moze biti izvor ne-
preciznosti) svodi na neizbezan minimum. Drugim recima, za razumevanje
relacije formalne izvodivosti (T ) nema potrebe ulaziti u mozda
slozenu i nejasnu semantiku teorije T . Da bi ustanovili da li je teorema
teorije T (tj. da li T ) dovoljno je konstruisati neko drvo izvodenja
tj. opisati jednostavan sintakti
cki objekat sastavljen od simbola po strogim
pravilima. Ako formalna teorija T ukljucuje logiku prvog reda, onda mozemo
precizirati pojmove kao sto su neprotivurecnost, potpunost teorije T , kao i
to kada je neki stav saglasan odnosno nezavisan od T . Naime, kazemo da
je teorija T neprotivure cna ako ne postoji recenica (na odgovarajucem
jeziku) takva da T i T Teorija T je potpuna ako za svaku
recenicu vazi T ili T . Recenica je saglasna sa T ako iz
neprotivurecnosti T sledi neprotivurecnost teorije T + (koja se dobija od
T dodavanjem kao nove aksiome). Recenica je nezavisna od T ako su
i i saglasni sa T .
No, sada za trenutak moramo zastati i priznati nesto. Tacno je da za kon-
strukciju izvodenja u teoriji T nema potrebe ulaziti u semantiku. Medutim,
za izucavanje same teorije T (spolja), na primer, za dobijanje rezultata
o nezavisnosti, takode je neophodna neka matematika. Ta matematika se u
odnosu na proucavanu teoriju T zove metamatematika. Naravno, da je za
rezultate o samoj teoriji T veoma znacajno pomocu kakve metamatematike
su dobijeni. Prema vec spomenutom Hilbertovom programu o osno-
vama matematike, zahteva se da metamatematika bude sto siromasnija,
sto ubedljivija i pre svega da koristi samo kona cnost (tzv. zahtev strik-
tne nitnosti). Ovo se pokazalo kao suvise optimisticki zahtev. Naime, K.
Godel je 1931. godine dokazao da se neprotivurecnost svake dovoljno bo-
gate i efektivno aksiomatizovane teorije ne moze dokazati sredstvima same
te teorije. Za dokaz nam trebaju sredstva koja su s jedne strane dovoljno
prihvatljiva i ubedljiva, a s druge strane van okvira te teorije. Kako je teorija
skupova dovoljno bogata teorija, to objasnjava i opravdava cinjenicu da
se zasad ni za jednu aksiomatsku teoriju skupova (kao sto su ZF ili NBG)
ne zna da li su neprotivure cne! Jedino sto nam je na raspolaganju
za dokaz neprotivurecnosti takvih mocnih teorija jeste klasican metod in-
terpretacije (tj. brigo moja predi na drugoga). Pomocu te metode se
pitanje o neprotivurecnosti jedne teorije svede na pitanje neprotivurecnosti
druge teorije.
se tice potpunosti formalnih teorija, stvari ni ovde ne stoje sja-
Sto
jno. Naime, prema drugom rezultatu K. Godela, svaka neprotivurecna,
dovoljno bogata i efektivno aksiomatizovana formalna teorija jeste nuzno
130 Glava 4. Skupovi, ordinali, kardinali
U literaturi se mogu naci razliciti spiskovi aksioma koji nose naziv ZF sis-
tem aksioma. Razlog za to lezi u cinjenici da ni u jednom od tih sistema
nisu sve aksiome nezavisne, pa uglavnom zavisi samo od licnog ukusa autora
koju aksiomu (i u kom obliku) ce staviti, a koju ce izostaviti sa spiska.
Zermelov aksiomatski sistem je prezentiran 1908 godine, i on je bio prvi
aksiomatski sistem za teoriju skupova. Kasnije je taj sistem aksioma dopu-
nio Fraenkel i tako dobijen spisak aksioma danas zovemo ZF-sistem ak-
sioma za teoriju skupova, (i odgovarajucu formalnu teoriju ZF teorija
skupova).
ZF teorija skupova je teorija prvog reda sa jednakoscu. Podsetimo se da
je u takvim teorijama = logicki simbol, pri cemu se x = y uvek interpretira
kao jednakost objekata. Jedini nelogicki simbol ZF teorije jeste binarni
relacijski simbol . Po dogovoru, umesto x y pisemo x y.
U daljem cemo uporedo, korak po korak, navoditi semanticki zahtev koji
opisuje intuitivan pojam skupa i odgovarajucu aksiomu formalne teorije,
koja bi trebala da pokriva taj zahtev. Po dogovoru, u aksiomama cemo
podrazumevati univerzalne kvantikatore po svim slobodnim promenljivama
(tako da su sve aksiome univerzalno zatvorene).
131
O jednakosti skupova
1. Ako dva skupa Ax1. Aksioma ekstenzionalnosti
imaju iste elemente, (z)(z x z y) x = y
oni su jednaki
(z)(x z y z) x = y,
O praznom skupu
2. Postoji skup Ax2. Aksioma praznog skupa
koji nema (u)(x)x u
elemente
Lako se moze dokazati (na osnovu Ax1.) da je takav skup u, ciju egzisten-
ciju obezbeduje Ax2, jedinstven. Uobicajeno je da se obelezava sa , i zove
prazan skup. U daljem se koristi jezik, koji je prosiren ovim novouve-
denim simbolom, naravno imajuci u vidu da je novi simbol otklonjiv u svim
formulama na tako prosirenom jeziku.
O uniji
4. Ako je x skup, Ax4. Aksioma unije
onda postoji skup (u)(z)(z u (v)(v x z v))
y koji sadrzi
sve elemente
elemenata od x.
132 Glava 4. Skupovi, ordinali, kardinali
Skup u iz Ax4. je
jedinstven i obelezavamo ga sa x. U slucaju da je
x = {u, v}, umesto x pisemo u v. Primetimo da na osnovu prve cetiri
aksiome mozemo dokazati egzistenciju, na primer, sledecih skupova:
O partitivnom skupu
5. Ako je x skup, Ax5. Aksioma partitivnog skupa
onda postoji skup (u)(z)(z u z x)
u koji sadrzi sve
podskupove skupa
x.
O beskonacnom skupu
7. Postoje beskona- Ax7. Aksioma beskonacnosti
cni skupovi. (u)( u (z)(z u z {z} u))
O slikama skupova
8. Funkcija preslikava Ax8. Aksioma zamene
skup na skup (a)((x a)(!y)(x, y)
(z)(x a)(y z)(x, y))
za sve formule (x, y) koje nemaju
slob. prom. y.
134 Glava 4. Skupovi, ordinali, kardinali
Nije tesko dokazati da Ax9 zaista postize svoj cilj tj. iskljucuje postojanje
mnogih patoloskih skupova. No, moguce je dokazati mnoge stvari i bez
Ax9 cesto se prilikom izlaganja rezultata ZF teorije zeli posebno naglasiti,
da su dobijeni bez Ax9. Formalni sistem koji se oslanja samo na Ax1 Ax8
obelezava sa ZF . Napomenimo, da se u teorijskom racunarstvu cesto javl-
jaju fenomeni koji imaju prirodan opis u ZF . Ax1 Ax9 cine aksiomatski
sistem za ZF teoriju skupova.
Operacije sa skupovima
U slucaju da je A = {X, Y }, onda umesto A pisemo X Y, a ako je
A = {Xi : i I} onda uniju skupa A obelezavamo i sa iI Xi ili Xi .
iI
A B = {a, b : a A b B}.
Relacije
A = {a, a : a A},
a, b 1 b, a .
a, b (c A)(a, c c, b ).
0 = A , n+1 = n .
Funkcije
injektivna (ili 11) ako za sve x, y A vazi: ako f (x) = f (y) onda
x = y;
138 Glava 4. Skupovi, ordinali, kardinali
f g = 1B , g f = 1A .
Moze se lako dokazati da funkcija ima najvise jednu inverznu funkciju. In-
verznu funkciju od f , ako postoji, obelezavamo sa f 1 .
Svaka funkcija f : A B indukuje dve funkcije koje preslikavaju P(A)
u P(B), odnosno P(B) u P(A), na sledeci nacin: ako je X A i Y B
onda
f (X) = {f (x) : x X}
f 1 (Y ) = {x A : f (x) Y }
Za skup f (X) kazemo da je f -slika skupa X. Skup f (A) obelezavamo i sa
rang(f ). Skup f 1 (Y ) je kompletna inverzna slika skupa Y (u odnosu
na preslikavanje f ). Kao sto vidimo, oznaka f 1 se koristi u dve razlicite
svrhe, tako da se pravo znacenje mora zakljuciti iz konteksta.
Jezgro funkcije f : A B je binarna relacija ker f na A denisana sa
Aksioma izbora
Neka je Bi : i I sistem
nepraznih skupova. Da li je di-
rektan proizvod B = Bi : i
I takode neprazan? Jasno, ako
familija F = {Bi : i I} ima samo
konacno mnogo elemenata, recimo
F = {B0 , . . . , Bn1 }, onda biran-
jem po jednog elementa bi iz svakog
nepraznog skupa Bi dobijamo da
Slika 1. b0 , . . . , bn1 B. No, ako je rec o
beskonacno mnogo nepraznih sku-
pova Bi , i I, da li je moguce odabrati istovremeno po jedan element iz
svih Bi ?
Mozemo postaviti i sledece (na prvi pogled specijalnije) pitanje: Ako
je X skup medusobno disjunktnih nepraznih skupova, da li postoji skup S
(tzv. selekcioni ili izborni skup) koji sadrzi tacno po jedan element iz
svih tih nepraznih skupova? Tvrdenje koje kaze da izborni skup uvek
postoji, danas je poznato pod imenom Aksioma izbora:
140 Glava 4. Skupovi, ordinali, kardinali
Multiplikativna
aksioma Ako je X skup disjunktnih nepraznih skupova,
onda je X = .
x < y akko x y i x = y.
x y akko xy ili x = y,
Slika 3. Slika 4.
x y akko y x,
Q = {a A : (x Q)a x},
Q = {a A : (x Q)a x},
x = {y A : y x},
x = {y A : y x}.
Za funkciju f : A B kazemo da
cuva poredak (ili da je mono-
tona) ako za sve x, y A vazi
x 1 y f (x) 2 f (y).
A, <1
= B, <2 akko A, 1
= B, 2 ,
146 Glava 4. Skupovi, ordinali, kardinali
Uslov induktivnosti
Za ureden skup A = A, kazemo da zadovoljava uslov induk-
tivnosti ako za proizvoljan B A vazi sledece: Neka za sve a A,
Tada je A = B.
147
Uslov minimalnosti
Za ureden skup A = A, kazemo da zadovoljava uslov minimal-
nosti ako svaki neprazan podskup od A ima minimalni element.
Dokaz.
(1) (2). Pretpostavicemo da vazi (1) ali ne vazi (2), i neka je C = A \ B =
. Zbog uslova minimalnosti, C mora imati bar jedan minimalan element,
oznacimo ga sa c. Kako je
{x : x A x < c} B,
konacni. Jasno, ako svi elementi x koji su strogo manji od a pripadaju skupu
B, onda i sam element a mora pripadati skupu B. Tako, A = B, sto znaci
da je svaki opadajuci lanac u A konacan.
(3) (1). Pretpostavimo da vazi uslov (3) i da postoji neprazan pod-
skup X od A koji nema minimalan element. Kako je X neprazan, postoji
x1 X, koji nije minimalan, pa postoji element x2 takav da je x2 < x1 .
Kako ni x2 nije minimalan, postoji x3 takav da je x3 < x2 , itd. Prema
tome, koristeci Aksiomu izbora, zakljucujemo da postoji skup elemenata
{x1 , x2 , . . . , xn , . . . } iz X koji formiraju beskonacan opadajuci lanac u A,
sto je u kontradikciji sa uslovom (3).
Kako se pojmovi kao sto su uslov minimalnosti, uslov induktivnosti,
uslov prekida opadajucih lanaca direktno prenose sa uredenog skupa na
odgovarajuci striktno ureden skup, onda je jasno da Teorema 2.4 o ekviva-
lentnosti ta tri uslova vazi i za slucaj striktno uredenih skupova.
Medu uredenim skupovima koji zadovoljavaju uslov induktivnosti posebno
mesto zauzimaju tzv. dobro uredeni skupovi, koje cemo izucavati u
narednoj sekciji.
Na primer, svaki konacan lanac je dobro ureden skup. Dalje, skup prirod-
nih brojeva sa uobicajenom relacijom poretka jeste dobro ureden. Naravno,
postoje beskonacni dobro uredeni skupovi neizomorfni strukturi N, .
Striktno dobro uredeni skupovi se nekad ekvivalentno denisu pomocu
tzv. uslova trihotomije. Za relaciju A2 kazemo da zadovoljava uslov
trihotomije (na A) ako za sve x, y A vazi tacno jedan od sledecih uslova:
Dokaz.
(1) (2). Neka je A, < striktno dobro ureden skup. Onda je A, dobro
ureden. To pre svega znaci da relacija zadovoljava uslov minimalnosti na
A, pa prema tome isto vazi i za relaciju <. Naravno, < je ireeksivna
i tranzitivna. Konacno, relacija < zadovoljava uslov trihotomije. Naime,
relacija dobro ureduje skup A, pa je A, lanac, tj. za sve x, y A vazi
x y ili y x. Znaci, bar jedan od uslova
x < y, x = y, y < x
Jasno, predA (a), je takode ureden skup, koga cemo takode zvati
pocetni segment od A (odreden elementom a). Analogno, ako je A
striktno ureden skup, smatracemo da njegovi pocetni segmenti nasleduju
150 Glava 4. Skupovi, ordinali, kardinali
a (a), za sve a A.
Teorema 4.4 Striktno dobro ureden skup ne moze biti izomorfan svom po-
cetnom segmentu.
da za sve a A vazi
a (a) i a 1 (a).
(a) ( 1 (a)) = a,
0 1 1 2 2 ... n n ...
Lema Zorna
Neka je A proizvoljan ureden skup. Ako u A svaki lanac ima gornje
ogranicenje, tada A ima bar jedan maksimalni element.
Pored ova tri ekvivalenta Aksiome izbora, pronadeno je preko sto tvrdenja
koja su ekvivalentna sa AC, a pripadaju razlicitim oblastima matematike.
Ispostavilo se da se Aksioma izbora sustinski koristi, na primer, prilikom
dokaza sledecih tvrdenja:
Pojam ordinala uveo je G. Cantor u jednom svom radu iz 1883. godine, kao
tip uredenja dobro uredenih skupova. Pristup ordinalima slican onom koji
cemo mi koristiti, prvi put je primenio von Neumann 1923. godine. Prema
ovom pristupu, ordinali su specijalni skupovi koji mogu sluziti kao istaknuti
predstavnici klase svih mogucih dobro uredenih skupova.
(x B)(y B)y x.
Primetimo da svi ovi navedeni ordinali (sem ) imaju istu strukturu tj.
svi oni su oblika {}, za neki ordinal .
= {}.
zyxy z
Dokaz.
(i) (ii) Neka je B = pred(a), za neki a . Treba dokazati da ako
x B onda x B. Neka je y x. Tada imamo
y x B y x pred(a) y x a
x i y
A ON
znaci, u stvari
(x)(x A x je ordinal ),
Teorema 4.11. Na klasi ON relacija < ima sve osobine striktnog dobrog
uredenja, tj. za sve , , ON vazi
(i) < ;
(ii) ( < < ) < ;
(iii) Vazi tacno jedna od sledecih relacija:
Dokaz.
(i) Pretpostavimo suprotno tj. . Tada bi bilo , sto je nemoguce
jer je relacija ireeksivna.
(ii) Ako je , onda zbog tranzitivnosti skupa sledi .
(iii) Primetimo da zbog (i) i (ii) ne mogu vaziti dve relacije istovremeno.
Pretpostavimo sada da je = i dokazimo da ili . Znamo da
je skup ordinal pa je on tranzitivan podskup ordinala i . Prema
jednoj od prethodnih teorema sledi
( = ) ( = ).
= i =
niti
i .
Ostaje
i =
ili
= i ,
sto redom daje odnosno .
(iv) Neka ordinal ima osobinu (sto zapisujemo sa ()). Posmatrajmo
skup
A = {x : (x)}.
(Skup A je dobro denisan, jer su svi elementi od ponovo ordinali i osobina
je denisana za sve x .) Ako je A = , onda je trazeni minimalni
ordinal sa osobinom . Neka je A = . Kako je A , a ureden skup ,
ima osobinu minimalnosti, onda A ima minimalni element u odnosu na .
Lako je videti da je (zbog (iii)) taj minimalni element jedinstven. Oznacimo
ga sa i dokazimo da je upravo trazeni ordinal. Zaista, ima osobinu
(i jeste ordinal jer ); dalje, ako je ordinal sa osobinom takav da
< onda bi imali
,
pa bi A, sto je kontradikcija.
159
Teorema 4.13. Neka je A neki skup ordinala i = A. Tada je
najmanji ordinal koji je veci ili jednak od svih ordinala iz A. ( Pisemo
= sup A.)
A = { ON : ()}
, <
= , < = .
= [)
= .
A = {x A : ( ON)[x), <
= , }.
[m), <
= , .
y A , y x i x (y) = y .
Korak 2. je ordinal.
Korak 3. A , <
= , .
Korak 4. A = A.
Naravno, posle poslednjeg koraka imamo da je
A, <
= , .
x|[y) ([y)) = .
A
=B akko type(A) = type(B).
U ovom delu cemo prirodne brojeve denisati kao specijalne ordinale. Intu-
itivno, ordinal ce biti prirodan broj akko se moze dobiti od konacnom
primenom operacije + . Dokazacemo da je kolekcija svih prirodnih brojeva
skup i da zadovoljava sve Peanove aksiome. Ta cinjenica moze da posluzi
kao dokaz da nasa formalna denicija prirodnog broja pokriva intuitivan po-
jam prirodnog broja. Na kraju cemo dokazati da je skup prirodnih brojeva
najmanji granicni ordinal.
( )( = je naredni ordinal).
( )( = je naredni ordinal).
164 Glava 4. Skupovi, ordinali, kardinali
K = { : je prirodan broj i I} = ,
1.
2. n n+
3. n = m n+ = m+
4. (X )(( X (n X)n+ X) X = ).
Dokaz.
(1) i (2) su evidentni.
(3) Neka je n = m. Ako bi bilo n {n} = m {m}, dobili bi
(n m n = m) (m n m = n).
Zbog n = m dobijamo n m i m n tj. n n, sto je kontradikcija.
(4) Pretpostavimo suprotno, da je \ X = . Kako je to neprazan
skup ordinala, ima najmanji. Oznacimo ga sa n0 . Onda je n0 = , pa je
n0 = m {m}, za neki m . Odatle sledi m n0 tj. m < n0 pa mora
m X. No, tada bi m+ X, sto je kontradikcija.
Ekvipotentni skupovi
Pre nego sto predemo na deniciju kardinala kao specijalnog ordinala, pod-
setimo se nekih cinjenica, na koje se pomisli kada se pomene pojam kardi-
nalnog broja. Naime, prvi i najpoznatiji pristup pojmu kardinalnog broja
jeste preko tzv. ekvipotentih skupova, tj. skupova izmedu kojih postoji
bijekcija. Prema tom pristupu, svaka klasa ekvipotentnih skupova jeste
kardinalni broj (koji odgovara tim skupovima). No, kako mi zelimo da os-
tanemo (koliko god je to moguce) u okviru ZF teorije skupova, usvojicemo
pristup po kome su svi objekti sa kojima radimo (pa dakle i kardinali)
skupovi. Prema tom pristupu kardinali ce biti neki specijani ordinali; dalje,
pod uslovom da usvojimo Aksiomu izbora, svakom skupu na jednoznacan
nacin odgovara neki kardinalni broj, i dva skupa ce imati isti kardinalni
broj ako i samo ako su oni ekvipotentni. Prema tome, sve cinjenice koje
smo ranije (tokom skolovanja) dokazivali za ekvipotentne skupove mozemo
iskoristiti i u ovom pristupu.
1) A B i B C onda A C.
2) a) A A,
b) A B onda B A,
c) A B i B C onda A C.
A = {f (S) : S X, f (S) S}
f (A) A f (A) A,
B (x) = 1 akko x B.
Da bi dokazali poznatu teoremu Schroder-Bernsteina, dokazacemo jedan
specijalan slucaj teoreme Tarskog o ksnoj tacki.
pa Z f (Z). No, odatle sledi f (Z) f (f (Z)), sto zbog denicije skupa B
daje f (Z) B. Prema tome, f (Z) Z.
168 Glava 4. Skupovi, ordinali, kardinali
a) Ako je A1 A2 = B1 B2 = onda A1 A2 B1 B2 .
b) A1 A2 B1 B2 ,
c) AA B2
1 B1 .
2
c) Preslikavanje : AA
1
2
B1B2 denisemo na sledeci nacin: ako je
f : A2 A1 , onda (f ) = 1 f 2 1 . Nije tesko videti da je
bijekcija.
169
a) AC B C (A B)C ,
b) ABC (AB )C ,
c) Ako su B i C disjunktni skupovi, tada AB AC ABC .
Dokaz.
Kao sto smo ranije dokazali, prema Teoremi o tipu striktno dobro uredenog
skupa (T3.11), za svaki striktno dobro ureden skup (A, <) postoji ordinal
koji je izomorfan sa (A, <). Dakle, klasa ordinala takvih da je A je
sigurno neprazna. S druge strane, svaka neprazna klasa ordinala ima naj-
manji element. Te dve cinjenice nam omogucavaju da, u slucaju da se skup
A moze dobro urediti, kardinalnost skupa A, (u oznaci |A|), denisemo
na sledeci nacin:
Ako prihvatimo Aksiomu izbora, onda se svaki skup moze dobro urediti,
pa je kardinalnost |A| denisana za svaki skup A. Primetimo da u slucaju
ordinala, AC nije potrebna: svaki ordinal ima svoju kardinalnost ||.
Prema tome, pojam kardinala mozemo denisati korektno i bez pozivanja
na AC. Naime:
170 Glava 4. Skupovi, ordinali, kardinali
= ||.
Dokaz.
() Neka je || = . To znaci da je najmanji ordinal ekvipotentan sa .
() kako je onda uslov ( < ) znaci po deniciji da je
|| = .
U sledece dve teoreme cemo pokazati kakav je odnos izmedu ekvipoten-
cije, relacije i kardinalnosti. Po dogovoru cemo, kad god se u daljem
tekstu pojavi oznaka |A|, podrazumevati da se doticni skup A moze dobro
urediti.
A B |A| = |B|.
Dokaz.
() Neka je A B. Tada zbog A |A| i B |B| zakljucujemo A
|B| i B |A|. Po deniciji kardinalnosti skupova sada sledi |A| |B|
odnosno |B| |A|. No, kako je relacija (denisana na klasi svih ordinala)
antisimetricna, sledi |A| = |B|.
() Neka je |A| = |B|. Onda A |A| = |B| B, pa je A B.
|A| |B| A B.
171
Dokaz.
() Neka je |A| = , |B| = i . Tada je , pa postoji potapanje
i : (i() = , za sve ). Oznacimo sa f bijekciju iz A u , a sa g
bijekciju iz B u . Tada je h = g 1 i f : A B injekcija, pa je A B.
() Neka je |A| = , |B| = i A B. Oznacimo sa h injekciju iz A u B.
Pretpostavimo da nije . Tada je < tj. . Neka je i :
identicno potapanje i . Neka su f : A i g : B bijekcije, i
posmatrajmo funkciju = f 1 ig. Tada : B A jeste injekcija. Prema
Teoremi Schroder-Bernstein sada iz A B i B A zakljucujemo A B
sto prema prethodnoj teoremi implicira |A| = |B| tj. = , kontradikcija.
Prema tome, ako su i kardinali, onda
akko = ,
i
akko .
Operacije sa kardinalima
Definicija 4.13 Na klasi svih kardinala cemo definisemo sledece tri op-
eracije, sabiranje, mno
zenje i stepenovanje na sledeci nacin:
= | {0} {1}|,
172 Glava 4. Skupovi, ordinali, kardinali
= | |
= | |
b) |A B| = |A| |B|,
c) |AB | = |A||B| .
a) = ,
b) = ,
c) ( ) = ( ),
d) ( ) = ( ).
Dokaz.
173
|(A B) C| = |A (B C)|.
( ) = ( ) ( ).
a) ( ) = ,
b) = ( ) ,
174 Glava 4. Skupovi, ordinali, kardinali
c) = .
a) ,
b) .
Dokaz.
b) Krenimo od skupova A i B za koje vazi |A| |B|. Onda, kao pod a),
zakljucujemo da vazi A B, iz cega sledi A C B C odnosno
|A C| |B C|. Na osnovu T... dobijamo |A| |C| |B| |C|.
Trazenu implikaciju dobijamo kada uzmemo da je A = , B = ,
C = .
a) ,
b) .
Kona
cni kardinali
Lema 4.3. Nijedan prirodan broj nije ekvipotentan svom pravom podskupu.
11
Dokaz. Neka je A = {n : (f : n n) rang(f ) = n}. Potrebno i
dovoljno je dokazati da je A = . Da bi to dokazali, dovoljno je uveriti se
da je A induktivan.
(i) A, trivijalno.
(ii) Pretpostavimo da je n A, dokazimo da je n+ A. Neka je f :
11
n+ n+ . Treba dokazati da je rang (f ) = n+ . Posmatrajmo funkciju
11
f|n : n n+ .
Imamo dva slucaja:
11
I slu
caj: rang(f|n ) n. Tada je jasno f|n : n n, pa je rang(f|n ) =
n. Prema tome, mora f (n) = n, i rang(f ) = n {n} = n+ .
II slu
caj: rang(f|n ) n. Tada postoji k n takav da je f (k) = n i
f (n) = r n. Denisimo novu funkciju g : n {n} n {n} na sledeci
nacin:
g(n) = n
g(k) = r
g() = f (), za sve =, n, k.
Lema 4.4. Nijedan konacan skup nije ekvipotentan svom pravom podskupu.
11,na
n f 1 (B)
g 1
B A
( ON)(n )( n = n).
Beskona
cni kardinali
|| = | + |.
() =
() = {}, za <
() = , za <
Nije tesko proveriti da je bijekcija.
P() i P()
S = {type, R : R W }
S = {R : R W }.
Dokazimo da je
S = { ON : }.
Ako sa S1 oznacimo { ON : }, treba dokazati S = S1
() Ako R S onda , R = R , pa je R i R S1 .
179
1 R2 (1 ) (2 ), za sve 1 , 2 .
( S) ( S)( )
( S)( ).
Alefi
( K)( ON)F (, ).
( K)(! ON)F (, ).
F () = F () = ,
da je na ako
( ON)( K)F () = ,
i da je monotona ako za sve , K vazi
Sx
=
= Sy Sx
= Sy ,
A = { ON : (x Card )F (x) = }.
Teorema 4.47.
(1) Za svaki ON kardinal +1 je najmanji kardinal veci od .
(2) Ako je granicni ordinal, onda
= < .
Dokaz. (1) Naravno, zbog < + 1 sledi < +1 . Ako bi bilo <
onda < pa + 1 , iz cega sledi +1 .
(2) Znamo da je
< = sup{ : < }.
Znaci, treba dokazati da je
= sup{ : < }.
Jasno, je gornje ogranicenje od { : < }. Dokazimo da je naj-
manje gornje ogranicenje. Neka je
, za sve < .
Mozemo pretpostaviti da je beskonacan kardinal, pa postoji ON,
takav da
= .
Treba dokazati da je . Pretpostavimo suprotno tj. < . Tada
bi bilo < , pa kako je granicni ordinal, onda + 1 < i
+1 < ,
jer je gornje ogranicenje za sve , < . No, ovo je u kontradikciji sa
(1).
183
Operacije sa beskona
cnim kardinalima
Teorema 4.48 a) 0 0 = 0 ;
b) 0 0 = 0 .
Dokaz.
0 = 1 0 n 9 0 0 = 0 ,
pa sledi n 0 = 0 .
Dokaz.
184 Glava 4. Skupovi, ordinali, kardinali
= .
| | < .
P = {, : max(, ) = }.
|P0 ,0 | = || = .
Korak 6. Kako je P = {P : < }, onda 0 , 0 P0 , za neko 0 < .
Dokazimo da je
P0 ,0 (0 + 1) (0 + 1).
Znamo da je max(0 , 0 ) = 0 , pa je 0 < 0 + 1 i 0 < 0 + 1. Ako
, < 0 , 0 , onda max(, ) max(0 , 0 ), pa < 0 +1, i < 0 +1,
sto je i trebalo dokazati.
Korak 7. Znamo da uvek vazi:
A B |A| |B|,
pa je
|P0 ,0 | |(0 + 1) (0 + 1)|.
Posto je granicni ordinal (jer je svaki beskonacni kardinal granicni ordinal,
vidi T43), onda iz 0 < sledi 0 + 1 < . No, u Koraku 1. smo videli da
za sve < vazi
| | < ,
pa imamo
|P0 ,0 | |(0 + 1) (0 + 1)| < ,
sto je kontradikcija, jer smo u Koraku 5. dokazali
|P0 ,0 | = .
= = max(, ).
(1) .
(2) .
186 Glava 4. Skupovi, ordinali, kardinali
Kontinuum hipoteza
Teorema 4.52. (G odel, 1939) GCH je saglasna sa teorijom ZF, tj. ako
je ZF neprotivrecna, onda je i ZF + GCH neprotivrecna.
[10] C. C. Chang, H. J. Keisler, Model theory, Studies in Logic and the Foun-
dations of Mathematics, Vol 73, NorthHolland Publ. Co., Amsterdam
London, 1973.
[11] P. M. Cohn, Universal algebra, Harper and Row, New York, 1965.
187
188 Literatura
[23] R. Freese, Free modular lattices, Trans. Amer. Math. Soc. 261 (1980),
8191.
[50] O. Ore, On the foundations of abstract algebra II, Ann. Math. 37 (1936),
265292.
[52] C.S. Peirce, On the algebra of logic, Amer. J. Math. 3 (1880), 1557.
[57] P. Pudlak, J. Tuma, Every finite lattice can be embedded into a finite
partition lattice, Algebra Universalis 10 (1980), 7495.
Indeks 191
[58] E. Schroder, Vorlesungen uber die Algebra der Logik (exacte Logik),
edited in part by E. M
uller and B. G. Teubner, Leipzig, Published in 4
volumes, Chelsea Publ. Co., Bronx, New York, 1890.
[62] P. M. Whitman, Free lattices II, Ann. Math. 43(2) (1942), 104115.