Beruflich Dokumente
Kultur Dokumente
- priručnik-
Berislav Žarnić
http://www.ffst.hr/~logika/pilot
http://www.ffst.hr/~logika/pilot
Pregled sadržaja
Predgovor vii
1 Atomarne rečenice 1
1.1 Predikati i individualne konstante 1
1.2 Ime i predmet 2
1.3 Broj “mjesta” u predikatu. 3
1.4 Pravo-pisani zapis atomarne rečenice 4
1.5 Ontološki design. 4
1.6 Atomarne rečenice: podsjetnik 6
1.7 Funkcijski izrazi u logici prvoga reda 6
1.8 Termi 8
1.9 Atomarne rečenice u teoriji skupova i aritmetici 9
2 Identitet 12
2.1 Dokazi u kojima se koristi simbol za identitet 12
2.2 Refleksivnost identiteta 13
2.3 Leibnizov zakon: nerazlučivost istovjetnog 14
2.4 Pravila za simbol identiteta 15
2.5 Identitet u filozofskoj logici 17
2.6 Za zapamtiti 19
2.7 Dokazi koji koriste svojstva predikata i relacija 19
5 Uvod u kvantifikaciju 61
iii
iv Pregled sadržaja
6 Logika kvantifikatora 74
6.1 Tautologije i kvantifikacija 74
8 Višestruka kvantifikacija 87
8.1 Višestruka primjena jednog kvantifikatora 87
8.2 Mješoviti kvantifikatori 89
8.3 Prijevod korak-po-korak 89
8.4 Preneksna forma 93
27 Zadaci 291
27.1 Literatura za pripremu ispita 313
Predgovor
Sadržaj ovog priručnika većim dijelom prati sadržaj sljedećih udžbenika (po
navedenim poglavljima):
1. Jon Barwise i John Etchemendy (2000) Language, Proof and Logic. CSLI
Publications. Center for the study of Language and Information Stanford
University. Seven Bridges Press. New York·London.
I Poglavlja: 1, 9,10, 11, 12, 13, 14, 15, 16, 17, 18, 19.
2. George S. Boolos i Richard C. Jeffrey(1989) Computability and Logic.
CambridgeUniversity Press.
I Poglavlja: 3, 5, 10.
3. L.T.F. Gamut [J. van Benthem, J. Groenendijk, D. de Jongh, M. Stokof, H.
Verkuyl] (1991) Logic, Language and Meaning. Volume II: Intensional Logic
and Logical Grammar. The University of Chicago Press. Chicago·London.
I Poglavlje: 2.
Sve pogreške treba pripisati autoru ovog priručnika, a ne autorima udžbenika
čiji se sadržaj prati.
Vježbe logičkih tehnika ostvaruju se uz primjenu interaktivnosti:
• Graditelji i provjerivači dokaza za sustav prirodne dedukcije
I U Fitch stilu:
∗ G. Allwein, D. Barker-Plummer, A. Liu: Fitch (software koji prati
Language, Proof and Logic)
I U Lemmon stilu:
∗ Christian Gottschal: graditelj dokaza (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/analizator/konstruktor.htm)
• Za usvajanje jezika logike prvog reda:
I ∗ G. Allwein, D. Barker-Plummer, A. Liu: Tarski’s World (software
koji prati Language, Proof and Logic)
• Za gradnju istinitosnih stabala:
I ∗ Wolfgang Schwarz: automatski graditelj (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/wostablo/index.html)
∗ Nik Roberts: Tableau 3 (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/stablo/konstrukcija.htm)
• Za gradnju dokaza u teoriji skupova:
I ∗ Daniel Velleman: "dizajner" dokaza (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/skupovi/dizajner.htm)
• Za Turingove strojeve:
I ∗ Ken Schweller: Turingov stroj (hrvatska verzija
http://www.vusst.hr/~logika/pilot/applet/turing/turing.htm)
vii
viii Predgovor
Primjer 1.1 Logičku strukturu rečenica ’Albert cijeni samoga sebe’ i ’Albert je stu-
dent’ prikazujemo kao Cijeni(albert, albert) i Student(albert). Riječ istaknutu ve-
likim početnim slovom nazivamo predikatom. Imena upisujemo unutar zagrada. Za
razliku od gramatičke, logička konvencija nalaže malo početno slovo.
Primjer 1.2 Obavijest sadržanu u tekstu ’Naša administrativna tajnica i naš sistem
inženjer imaju isto ime. I ona i on zovu se "Doris".’ ne možemo iskazati kao AdministrativnaT ajnica(Doris)∧
SistemInženjer(Doris). Jezik LPR zahtijeva da napravimo razliku izmed̄u istih imena
različitih osoba. To bismo mogli učiniti pomoću dodatnih oznaka, na primjer ovako:
AdministrativnaT ajnica(Doris1) ∧ SistemInženjer(Doris2).
Primjer 1.3 Rečenice ’Albert ne cijeni samoga sebe’, ’Albert ne cijeni nikoga osim
samoga sebe’ i ’Albert je zaposleni student’ nisu atomarne. Prikaz njihove logičke struk-
ture zahtijeva uvod̄enje dodatnih simbola koji nisu ni predikati niti imena. ’Albert ne
cijeni samoga sebe’ formaliziramo kao negaciju atomarne rečenice,
¬Cijeni(albert, albert).
Za ’Albert ne cijeni nikoga osim samoga sebe’ treba nam konjunkcija, kvantifikacija i
složeni uvjet,
1
2 Poglavlje 1 Atomarne rečenice
Primjer 1.4 Vlastita imenice i neke zamjenice u prirodnom jeziku obavljaju ulogu
referiranja. U rečenicama ’To je izvrsno’, ’Ona je glazbenica’, ’Bertrand Russell je filo-
zof’ i ’Danas je ponedjeljak’ ta uloga redom pripada pokaznoj zamjenici, osobnoj zam-
jenici, vlastitoj imenici i prilogu, Izvrsno(to∗ ), Glazbenica(ona∗ ), F ilozof (bertrand_russell),
P onedjeljak(danas∗ ). Nadznak ‘*’ označava izraze kod kojih je “veza sa stvarnim
svijetom dio njihovog doslovnog značenja”. Takvi se pokazni izrazi nazivaju ’indek-
sikalima’, ’indeksičkim izrazima’ ili ’indeksalnim izrazima’.
Primjer 1.5 U rečenici ’Ja sam ovdje sada’ nalazimo tri indeksikala, tri izraza koje
bismo mogli shvatiti kao individualne konstante: N alaziSe(ja∗ , ovdje∗ , sada∗ ).
1
Skup realnih brojeva nije prebrojiv, to jest, ne postoji procedura koja omogućuje da se pronad̄e
svaki pojedini realni broj. Za racionalne brojeve postoji postupak prebrojavanja. Racionalne
brojeve treba postaviti u dvostruki beskonačni poredak na ovaj način:
→ . → .
↓ % .
% .
↓
...
1.3 Broj “mjesta” u predikatu. 3
Primjer 1.9 ’Bertrand Russell je bio britanski filozof’ možemo u jednom od tumačenja
promatrati kao:
Nekad pridjevi ne dodaju novi uvjet već ograničavaju uvjet zadan s imeni-
com.
Potom se uklone brojevi čiji se duplikat već pojavio u nizu. Na kraju se pokaže da se dobiveni niz
može postaviti u odnos 1 − za − 1 s prirodnim brojevima:
Georg Cantor (1845-1918) pronašao je dokaz da skup realnih brojeva nije iste veličine kao skup
prirodnih brojeva. Pretpostavimo suprotno. Po pretpostavci, moguće je postaviti realne brojeve
u niz tako da prvi med̄u njima odgovara prvom prirodnom broju a n-ti realni - n-tom prirodnom
broju. Za tu svrhu neka se svaki realni broj predstavi kao beskonačni decimalni broj. Na primjer,
1/4 se predstavlja ne kao 0, 25 nego kao 0, 24999... Radi jednostavnosti ograničimo se na realne
brojeve izmed̄u 0 i 1. Neka su svi takvi brojevi posloženi u niz
0, a1 a2 a3 ...
0, b1 b2 b3 ...
0, c1 c2 c3 ...
...
Sada je lako pronaći pravilo zamjenjivanja decimala koje će dati broj koji se ne javlja u nizu. Na
primjer, neka se takav broj napiše po sljedećem pravilu na prvom decimalnom mjestu on ima bilo
koji broj osim a1 , 0 ili 9, na drugom mjestu on ima bilo koji broj osim b2 , 0 ili 9, na trećem - bilo
koji broj osim c3 , 0 ili 9. Na taj način dolazimo do broja koji se razlikuje od bilo kojeg broja u
nizu. Time je osporena pretpostavka da se svi realni brojevi mogu postaviti u niz kojega možemo
postaviti u korelaciju s prirodnim brojevima.
4 Poglavlje 1 Atomarne rečenice
Primjer 1.10 (i)’Bertrand Russell je bio dobar filozof’ izvorni govornik neće razum-
jeti kao
F ilozof (bertrand_russell) ∧ Dobar(bertrand_russell)
već kao DobarF ilozof (bertrand_russell), (ii) rečenicu ’Dumbo je mali slon’ ne for-
maliziramo kao
Slon(dumbo) ∧ M alen(dumbo)
već kao M alenSlon(dumbo).
Primjer 1.12 Miješanje sintaktičkih uloga. ’Izmed̄u mene i tebe je izmed̄u’ neis-
pravno je i u prirodnom i u formalnom jeziku, Izmedju(ja∗ , Izmedju, ti∗ ).
sve ono što želimo iskazati a da pri tome koristimo "najtanji mogući rječnik".
Zadatak 1 Usporedi izražajnost dva jezika koji se razlikuju samo u rječniku! Prvi
sadrži unarni predikat, CijeniAlberta i individualne konstante, albert i robert, drugi
sadrži iste individualne konstante te binarni predikat, Cijeni. Koliko atomarnih rečenica
možemo sačiniti u prvom, a koliko u drugom jeziku? Što moramo učiniti da bi jezik manje
izražajnosti imala jednaku ekspresivnu moć kao i jezik veće izražajnosti?3
Primjer 1.13 Rečenica ’Ivica je vidio jučer Maricu u Dubrovniku’ jest jednostavna
rečenica u perspektivi ontologije koja govori o osobama, mjestima i vremenskim is-
ječcima: V idio(ivica, marica, jučer∗ , dubrovnik). U ontološkom okviru u kojemu su
dogad̄aji «predmeti» o kojima govorimo ta rečenica postaje složenom rečenicom koja
govori o nekom dogad̄aju, dogad̄aju x koji nije zastupljen s nekom odred̄enom riječju,
ali prešutno jest upravo ono o čemu rečenica govori,
∃x[V idjenje(x) ∧ Subjekt(x, ivica) ∧
∧Objekt(x, marica) ∧ M jesto(x, dubrovnik) ∧ V rijeme(x, jučer∗ )].
Primjer 1.15 Izraze ’Albertov otac’ i ’Albertov najbolji prijatelj’ možemo shvatiti kao
funkcijske izraze (pretpostavljajući u drugom slučaju da najbolji prijatelj može biti samo
jedan):
funkcijski izraz
z }| {
otac
|{z} ( albert
| {z } ),
funkcijski simbol individualna konstanta
najbolji_prijatelj(albert).
Primjer 1.16
funkcijski izraz
z }| {
2
|{z} + 2
|{z} .
|{z}
individualna konstanta funkcijski simbol individualna konstanta
4
Koriste se i drukčij i zapisi. Na primjer, umjesto R(a1 , ..., an ) neki autori koriste zapis
Ra1 ...an .
1.7 Funkcijski izrazi u logici prvoga reda 7
Cijeni(albert, otac(otac(albert))).
Primjer 1.22 Zahvaljujući činjenici da svaki prirodni broj ima sljedbenika i to jednog
jedinog, njihova imena se mogu zamijeniti s funkcijskim izrazima. Umjesto "vlastitog
imena", 1, možemo upisati funkcijski izraz u prefiksnom zapisu, sljedbenik(0) ili u
postfiksnom, 00 (gdje crtica ima ulogu simbola za unarnu funkciju ’sljedbenik’). Logički
pravopis dopušta i 2 + 2 = 4 i Identično(zbroj(000 , 000 ), 00000 ).
1.8 Termi
Primjer 1.24 Dva imena, 0 i 1, dva simbola za binarne relacije, = i <, te dva binarna
funkcijska simbola, + i ·. Zapis koristi infiksnu varijantu (funkcijski i predikatski simboli
stoje IZMEÐU njihovih argumenata). Primjer.
Zadatak 7 Usporedimo dva jezika prvog reda. Prvi, nazovimo ga funkcijskim, sadrži
imena eugene, anastasie, goriot, funkcijski simbol otac, te predikate = i V išiOd.
Drugi jezik, nazovimo ga relacijski, sadrži ista imena i tri binarna predikata OtacOd,
= i V išiOd, a ne sadrži funkcijske simbole. [a] Prevedite sljedeće rečenice relacijskog
jezika u rečenice funkcijskog jezika: 1. OtacOd(goriot, eugene); 2. OtacOd(goriot, anastasie);
3. V išiOd(eugene, anastasie)! [b] Prevedite iz funkcijskog na relacijski jezik! Gdje
se to ne može učiniti, objasnite zašto. 4. otac(eugene) = goriot; 5. otac(eugene) =
otac(anastasie); 6. V išiOd(otac(eugene), otac(goriot)).
činjenica. 4.25 Ako je elementarni stav istinit, atomarna činjenica postoji; ako je neis-
tinit, atomarna činjenica ne postoji. Interpretirajte tekst tako da ’elementarni stav’
znači ’atomarna rečenica’. Pretpostavljajući takvu interpretaciju, tvrdi li Wittgenstein
da su atomarne rečenice logički neovisne? Navedite razloge i odredite je li takva tvrdnja
istinita?
Zadatak 12 U logici prvog reda predikati se interpretiraju kao sasvim odred̄ena svo-
jstva i odnosi. No neka svojstva ovise o perspektivi promatrača. Na slikama nalazimo dva
pogleda na isti svijet. Odredite istinitosnu vrijednost donjih rečenica i izdvoji predikate
koji označavaju odnose ili svojstva koja ovise o kontekstu!
V ećeOd(a, b)
Izmedju(c, d, b)
LijevoOd(c, b)
Ispred(c, b)
Iza(e, b)
DesnoOd(a, b)
Poglavlje 2
Identitet
Primjer 2.1 Dokaz prikazan u «Fitch formatu». Okomita crta pokazuje da su rečenice
zdesna dio dokaza. Vodoravna crta dijeli pretpostavke (premise) od konkluzija, ispod
nje se upisuju posredne konkluzije i željena konkluzija. Zdesna svakoj izvedenoj rečenici
(konkluziji) upisuje se opravdanje: oznaka logičkog pravila i brojevi rečenica nad kojima
je pravilo primjenjeno.
1. Kocka(c)
2. c=b
3. Kocka(b) = Elim; 1, 2
12
2.2 Refleksivnost identiteta 13
drukčije ne da se zamisliti.
w1
w2
U bilo kojem retku dokaza smijemo upisati n = n, gdje je n bilo koje ime.
Budući je riječ o logičkoj istini prvoga reda, takva konkluzija ne ovisi ni o kojoj
premisi.
2.4.2.1 Supstitucija identiteta i jednolika supstitucija
Primjer 2.4
Primjer 2.5 Zadana je istinita rečenica ’Hamlet i Ofelija se uzajamno vole’. Oz-
načimo s A rečenicu ’Hamlet voli Ofeliju’ i s B rečenicu ’Ofelija voli Hamleta’. Dobi-
vamo: A ∧ B. Jednolikom supstitucijom A ∧ ¬A za A u A ∧ B dobivamo (A ∧ ¬A) ∧ B.
Očigledno je da istinitost nije očuvana.
Primjer 2.6 Russellova zagonetka. (P1) Scott je autor Waverley-a. (P2) George IV
želio je znati je li Scott autor Waverley-a. (K3) Dakle, George IV je želio znati je li Scott
- Scott.
stječe uvjerenje da London nije lijep i prihvaća da je rečenica (ii) London is not pretty
istinita. Pierre ne zna da je taj neugledni grad u kojem sada živi onaj isti grad čije je
slike s divljenjem gledao dok je živio u Parizu. Budući da Pierre iskreno prihvaća da su
obje rečenice (i) i (ii) istinite, vjeruje li on kao normalni govornik da (i)∗ London jest
lijep ili vjeruje da (ii)∗ London nije lijep, ili vjeruje i jedno i drugo?
2.6 Za zapamtiti
Četiri važna načela odnosa identiteta:
1. = Elim: Ako b = c, onda sve što vrijedi za b vrijedi i za
c. Načelo se takod̄er naziva načelom nerazlučivosti identičnoga.
2. = Intro: Rečenice čiji je oblik b = b uvijek su istinite (u
logici prvoga reda). Načelo se naziva načelom refleksivnosti identiteta.
3. Simetričnost identiteta: Ako je b = c, onda c = b.
4. Tranzitivnost identiteta: Ako je a = b i b = c, onda je
a = c.
Posljednja dva načela mogu se izvesti iz prva dva.
1. LijevoOd(a, c)
2. LijevoOd(c, d)
3. LijevoOd(a, d) Ana Con; 1, 2
U gornjem se primjeru iskoristila tranzitivnost relacije LijevoOd.
20 Poglavlje 2 Identitet
21
22 Poglavlje 3 Propozicijska logika i teorija dokaza
Primjer 3.2 (Načelo neproturječnosti) Nijedna rečenica ne može istodobno biti i is-
tinita i neistinita.
Primjer 3.3 Euklid (oko 330-260) u knjizi Elementi aksiomatizira geometriju. "Općenita
načela" obuhvaćaju 23 definicije, 5 postulata i 5 općenitih ideja.
Primjer 3.5 Spinoza (1632 - 1677) daje grandiozni filozofski sustav u aksiomatskom
obliku (Ethica more geometrico demonstrata). Primjer aksioma: Sve što jest, jest ili u
sebi ili u drugome.
Dokazivanje ne može ići u beskonačnost. Ono mora negdje stati. Ako dokaz
shvatimo u smislu dedukcije, onda su krajnje točke dokaza aksiomi. Iskustveni
sudovi, zapisi opažanja (promatranja, mjerenja) ne mogu biti polazište dedukcije.
3.1.1.2 Kako prepoznajemo aksiome?
Primjer 3.6 Descartes, René (1596-1650): "I uočivši da mi u postavci mislim, dakle
jesam baš ništa drugo ne jamči da govorim istinu, osim da vidim vrlo jasno kako moramo
postojati da bismo mislili, došao sam do uvjerenja da mogu postaviti opće pravilo, da
su stvari koje shvaćam jasno i razgovijetno potpuno istinite."
Sintaksa.
Neka su u jeziku teorije LP osnovni simboli: propozicijska slova:
‘P1 ’, ‘P2 ’,..., pomoćni simboli: ‘(‘, ‘)’, i konstante: ‘→ ‘ i ’¬ ’.
Pravilo tvorbe rečenica neka glasi: propozicijska slova su rečenice
u jeziku teorije LP, a ako su A i B rečenice u tom jeziku onda su i ¬A i
(A → B) rečenice u tom jeziku, te ništa drugo nije rečenica tog jezika.
Aksiomi, definicije i pravila dokazivanja.
Aksiomski oblici:
A1. (A → (B → A))
A2. ((A → (B → C)) → ((A → B) → (A → C)))
A3 ((¬B → ¬A) → (A → B))
Definicije veznika:
¬(A → ¬B) označava A ∧ B , itd.
Pravilo dokazivanja:
Ako je (A → B) teorem i ako je A teorem, onda je B teorem.
Zadatak 16 Neka je zadan gornji logički aksiomski sustav. Aksiomski oblici: A1.
(A → (B → A)), A2. ((A → (B → C)) → ((A → B) → (A → C))), A3.
((¬B → ¬A) → (A → B)). Pravilo dokazivanja: Ako je (A → B) teorem i ako je A
teorem, onda je B teorem. Dokažite7 A → A!
3.2.1.3 Zanimljivost
Primjer 3.9
DNF KNF
P Q zadana i.f. (P ∧ Q) ∨ (¬P ∧ Q) ∨ (¬P ∧ ¬Q) ¬P ∨ Q
> > > P ∧Q
> ⊥ ⊥ ¬P ∨ Q
⊥ > > ¬P ∧ Q
⊥ ⊥ > ¬P ∧ ¬Q
binegacija ekskluzija
P Q P ↓Q P ↑Q
> > ⊥ ⊥
> ⊥ ⊥ >
⊥ > ⊥ >
⊥ ⊥ > >
Primjer 3.10 Razmotrimo primjer jednog sustava koji sve kontradikcije i samo kon-
tradikcije preuzima kao teoreme. Neka jeK račun sudova zadan na sljedeći način:
aksiomski oblici su zadani s nekim skupom antitautologija (tj. kontradikcija), a jedino
pravilo izvoda je ’iz ¬A ∧ B i A, izvedi B’. Ispitajmo je li račun K konzistentan!
8
Promotri tvrdnju: ¬∃x : x ∈ N ∧ 0 = sljedbenik_od(x). Ona nije logička istina prvog reda.
Metodom zamjene možemo dobiti i ovakvu rečenicu: ¬∃x : adam = otac_od(x). Nije stvar
logike prvog reda pitanje o tome ima li Adam potomaka ili ne. Jednako tako, nije pitanje logike
prvog reda je li nula ičiji sljednik.
3.2 Željena svojstva aksiomatskog sustava 31
9
Proizvoljna rečenica R je teorem. Dokaz:
(1) A3:
(¬R → ¬A) → (A → R)
(2) A2:
¬A → (¬R → ¬A)
(3) A4:
¬A
(4) modus ponens; (2),(3):
¬R → ¬A
(5) modus ponens; (1), (4)
A→R
(6) A5:
A
(7) modus ponens; (5),(6):
R
32 Poglavlje 3 Propozicijska logika i teorija dokaza
Sintaktički Semantički
Ekstra- Logički Ekstra-logički sustav Logički sustav
logički sustav
sustav
Konzistentnost Nije slučaj da su Moguće je da sve Sve rečenice sustava
teoremi i A i ¬A rečenice sustava budu nužno su istinite (sve
istinite (postoji istinita interpretacije su
interpretacija, sustav istinite, svaki model
ima model) je model sustava)
Potpunost U paru A i Sustav izdvaja sve Sustav izdvaja sve
¬A uvijek istinite rečenice pod logičke istine.
je barem ? danom interpretacijom
jedna
rečenica
teorem
`F rege−Lukasiwicz A ⇒ T aut(A)
Teorem 3 0F rege−Lukasiwicz ⊥
A ¬A
0 1
1 1
2 0
A B A→B
0 0 0
1 0 2
2 0 0
0 1 2
1 1 2
2 1 0
0 2 2
1 2 0
2 2 0
Nazovimo rečenicu čija je vrijednost jednaka 0 u svakom vrednovanju —
odabranom rečenicom. Pravilo modus ponens čuva odabranost: ako je A odbrana,
f (A) = 0 i dokaziva te ako je A → B odabrana, f (A → B) = 0 i dokaziva,
onda je B odabrana. Time smo utvrdili da je aksiomski sustav koji koristi sheme
A2 i A3 pouzdan u odnosu na zadanu semantiku. Pretpostavimo da taj sustav
dokazuje A1. Zbog pozdanosti, svaki A1 aksiom mora biti "odabran". No, to
nije slučaj. Uspostavljena kontradikcija pokazuje da niti jedan izvod ne može iz
A2 i A3 izvesti A1. Zato je A1 neovisan o njima.
3.2.3.3 Njegova potpunost
Γ ∪ {A} ` B ⇒ Γ ` A → B .
Ako je (i.iii) slučaj, onda je d2 dokaz za A → A, a takav dokaz postoji (str. 27).
Za (ii), pretpostavimo da tvrdnja vrijedi za dokaz d1 sastavljen od n rečenica.
Trebamo pokazati da tada teorem vrijedi i za dokaz od n + 1 članova. Ako je
(ii.i) B aksiom ili (ii.ii) jedna od rečenica u Γ ili (ii.iii) rečenica A, dokaz je vari-
janta prethodnog. Preostaje samo slučaj (ii.iv) u kojem je B dobiven primjenom
(jedinog) dopuštenog pravila dokaza. Dakle, B je dobiven iz nekih prethodnih
rečenica Ri = X → B i Rj = X , i, j < n. Po pretpostavci indukcije vrijedi
Γ ` A → (X → B) i Γ ` A → X . Korištenje instance aksioma A2:
(A → (X → B)) → ((A → X) → (A → B))
pokazuje da uz dvije primjene modus ponens-a možemo doći do traženog Γ `
A → B . (2) U drugoj etapi ostvaruje se povezivanje semantičkih i sintaktičkih
svojstava. Budući da je cilj dokaza upravo pokazati da su sve tautologije (’tau-
tologija’ je semantički pojam) dokazive (’dokazivost’ je sintaktički pojam), ovaj
bi se korak mogao shvatiti kao "nerv dokaza". Najprije definiramo funkciju λh
koja za svako dodjeljivanje h istinitosnih i rečenicu S ispostavlja daljnju rečenicu
po sljedećem "receptu":
½
S ako h(S) = >,
λh (S) =
¬S ako h(S) = ⊥.
Neka se u rečenici S javljaju jedino propozicijska slova iz skupa {P1 , ..., Pn }.
Tada vrijedi:
{λh (P1 ), ..., λh (Pn )} ` λh (S). ((*))
Dokaz ovog koraka zahtijeva korištenje indukcije koja uzima o obzir složenost
rečenice S . Po dopuštenoj sintaksi, S mora ili biti propozicijsko slovo ili imati
oblik negacije ili kondicionala. Pogledajmo samo treći slučaj. Ako je S kondi-
cional, onda postoje rečenice A i B takve da je S = A → B. Ispitajmo slučajeve:
ili h(A → B) = > ili h(A → B) = ⊥. Za razumjeti ideju dokaza dovoljno je da
proučimo drugi slučaj. U drugom slučaju mora vrijediti h(A) = > i h(B) = ⊥.
Trebamo dokazati da tada:
{λh (P1 ), ..., λh (Pn )} ` λh (A → B),
to jest, {λh (P1 ), ..., λh (Pn )} ` ¬(A → B).
36 Poglavlje 3 Propozicijska logika i teorija dokaza
I. II. III.
¬¬A α β
| | /\
A α1 β1 β2
|
α2
α pravila α1 α2 β -pravila β1 β2
A∧B A B A∨B A B
¬(A ∨ B) ¬A ¬B ¬(A ∧ B) ¬A ¬B
¬(A → B) A ¬B A→B ¬A B
A↔B A ¬A
B ¬B
¬(A ↔ B) A ¬A
¬B B
Ako grana (put, staza) stabla sadrži rečenični atom (propozicijsko slovo) i
njegovu negaciju, nazivamo je zatvorenom. Stablo je zatvoreno ako su mu sve
grane zatvorene. Ispod zatvorene grane upisuje se križić. Za slučaj propozicijske
logike, svaka rečenica nad kojom je primijenjeno neko pravilo označava se kvači-
com. Skup rečenica čije je stablo zatvoreno je nezadovoljiv skup (neispunjiv).
Ispravnost zaključka utvrd̄uje se gradnjom stabla za skup rečenica koji sadrži
sve premise i negaciju konkluzije. Zaključak čije su premise P1 , ..., Pn a kon-
kluzija K , ispravan je akko skup rečenica {P1 , ..., Pn , ¬K} nije zadovoljiv. Ako
je stablo zatvoreno za neki skup rečenica, onda taj skup nije zadovoljiv.
Zadatak 19 Na otoku, čiji su jedini stanovnici vitezovi koji uvijek govore istinu i var-
alice koje uvijek lažu, susrećemo dvojicu domorodaca. Jedan med̄u njima kaže: "Barem
je jedan od nas dvojice varalica." Odredite tko je tko gradnjom istinitosnog stabla!
Zadatak 20 Na otoku, čiji su jedini stanovnici vitezovi koji uvijek govore istinu i
varalice koje uvijek lažu, susrećemo dvojicu domorodaca. Jedan med̄u njima, pokazujući
na drugoga, kaže: "Ja sam varalica ali on nije." Odredite tko je tko gradnjom istinitsnog
stabla!
Zadatak 21 Znamo da točno jedan od dva kovčega, od kojih svaki ima neki natpis,
sadrži blago. Znamo i to da je barem jedan natpis lažan. Na prvom, drvenom kovčegu
piše: "Blago je ovdje", a na drugom, željeznom kovčegu piše: "Blago nije ovdje". Odred-
ite gdje je blago koristeći metodu gradnje istinitosnog stabla!
3.4.1.1 Konjunkcija
3.4 Prirodna dedukcija 43
3.4.1.2 ∧ Elim
Lemmon
a1 , ..., an (i) A ∧ B
..
.
a1 , ..., an (j) A [ili B] i ∧Elim
Fitch
(i)P1 ∧ ... ∧ Pi ∧ ... ∧ Pn
..
.
(j)Pi ∧Elim: i
3.4.1.3 ∧ Intro
Lemmon
a1 , ..., an (i) A
..
.
b1 , ..., bm (j) B
..
.
a1 , ..., an , b1 , ..., bm (k) A ∧ B [ili B ∧ A] i,j ∧Intro
Fitch
(i)P1
⇓
(j)Pn
..
.
(k)P1 ∧ ... ∧ Pn ∧Intro: i,...,j
3.4.1.4 Disjunkcija
3.4.1.5 ∨ Elim
Lemmon
a1 , ..., as (i) A ∨ B
..
.
j (j) A pretpostavka
..
.
b1 , ..., bt (k) C
44 Poglavlje 3 Propozicijska logika i teorija dokaza
..
.
l (l) B pretpostavka
..
.
c1 , ..., cu (m) C
..
.
P ret (n)..C i, j, k, l, m ∨Elim
gdje P ret = {a1 , ..., as } ∪ {b1 , ..., bt } − {j} ∪ {c1 , ..., cu } − {l}
Fitch
(i) P1 ∨ ... ∨ Pn
..
.
(j) P1
..
.
(k) S
⇓
(l) Pn
..
.
(m) S
..
.
(n) S ∨Elim: i, j-k,..., l-m
3.4.1.6 ∨ Intro
Lemmon
a1 , ..., an (i)..A
..
.
a1 , ..., an (j)..A ∨ B [ili B ∨ A] i ∨Intro
Fitch
(i)Pi
..
.
(j)P1 ∨ ... ∨ Pi ∨ ... ∨ Pn ∨Intro: i
3.4.1.7 Kondicional
3.4.1.8 → Elim
Lemmon
a1 , ..., an (i) A → B
3.4 Prirodna dedukcija 45
..
.
b1 , ..., bm (j) A
..
.
a1 , ..., an , b1 , ..., bm (k)..B i, j → Elim
Fitch
(i)A → B
..
.
(j)A
..
.
(k)B → Elim: i,j
3.4.1.9 → Intro
Lemmon
i (i) A
..
.
a1 , ..., an (j) B
..
.
{a1 , ..., an } − {i} (k) A → B i, j → Intro
Fitch
..
.
(i) A
..
.
(j) B
(k) A → B → Intro: i-j
3.4.1.10 Negacija
3.4.1.11 ¬ Elim
Lemmon
3.4.1.12 ¬ Elim
Fitch
(i)¬¬A
..
.
(j)A ¬Elim: i
3.4.1.13 ¬ Intro
Lemmon
i (i) A
..
.
a1 , ..., an (j) ⊥ [bilo koja eksplicitna kontradikcija]
..
.
{a1 , ..., an } − {i} (k) ¬A i, j ¬Intro
Fitch
..
.
(i) A
..
.
(j) ⊥
(k) ¬A ¬Intro: i-j
3.4.1.14 Neistina (apsurd, falsum)
3.4.1.15 ⊥ Elim
Fitch
(i)⊥
..
.
(j)A ⊥Elim: i
3.4 Prirodna dedukcija 47
3.4.1.16 ⊥ Intro
Fitch
(i)A
..
.
(j)¬A
..
.
(k)⊥ ⊥Intro: i, j
3.4.1.17 Bikondicional
3.4.1.18 ↔ Elim
Lemmon
a1 , ..., an (i)..A ↔ B
..
.
a1 , ..., an (j)..(A → B) ∧ (B → A) i D ↔
Fitch
(i)A ↔ B [ili B ↔ A]
..
.
(j)A
..
.
(k)B ↔ Elim: i, j
3.4.1.19 ↔ Intro
Lemmon
a1 , ..., an (i)..(A → B) ∧ (B → A)
..
.
a1 , ..., an (j)..A ↔ B [ili B ↔ A] i D ↔
48 Poglavlje 3 Propozicijska logika i teorija dokaza
Fitch
(i) A
..
.
(j) B
..
.
(k) B
..
.
(l) A
(m) A ↔ B ↔ Intro: i-j, k-l
3.4.1.20 Reiteracija
Fitch
(i) A
..
.
(j) A Reit: i
Zadatak 24 Kojem biste sustavu dokaza dali prednost za svrhu početnog učenja logike?
3.4 Prirodna dedukcija 49
Zadatak 25 Kako biste objasnili povijesni redoslijed javljanja sustava dokaza (ak-
siomatski; prirodna dedukcija; istinitosno stablo)?
Y Intro
Γ, P ` ¬Q Γ, ¬P ` Q
Γ ` P Y Q [ili Q Y P ]
Y Elim
P Y Q [ili Q Y P ], ¬P ` Q
50
4.2 Pouzdanost 51
jer metoda istinitosnih tablica zanemaruje značenje predikata koji se javljaju u atom-
arnim rečenicama.
4.2 Pouzdanost
Pouzdanost (soundness) zaključka i pouzdanost formalnog logičkog sustava su
različiti pojmovi. Prvo je svojstvo valjanog zaključka čije su sve premise istinite.
Drugo je svojstvo logičkog sustava, a posebnom slučaju propozicijske logike
riječ je o svojstvu da se u sustavu samo tautološke posljedice premisa mogu
dokazati.
protuprimjer!
pomoći:
A1 , ..., An , Q → R, Q, R.
nemoguće vrednovanje
A1 , ..., An R P Q P ∨Q
>, ..., > ⊥ ⊥ ⊥ >
prvi nevaljani korak jer je R tautološka posljedice od jer je P ∨ Q
{A1 , ..., An } ∪ {P }, jedna od rečenica
odnosno od A1 , ..., An
{A1 , ..., An } ∪ {Q}
Drugi slučaj:
nemoguće vrednovanje
A1 , ..., An R P Q P ∨Q
>, ..., > ⊥ ⊥ ⊥ >
prvi nevaljani korak jer je R tautološka posljedice od jer je P ∨ Q
{A1 , ..., An } ∪ {P }, tautološka posljedica
odnosno od nekog podskupa od
{A1 , ..., An } ∪ {Q} {A1 , ..., An }
Dokazivo u FT
Sretan(a) ∨ ¬Sretan(a)
Tautologije: ???
Logičke istine
a=a∧b=b
4.4 Potpunost
Neki formalni logički sustav treba imati željena svojstva deduktivnog sustava:
potpunost i pouzdanost.
Uvjeti koje treba ispuniti ne logički aksiomski sustav sa skupom
aksioma T :
Konzistentnost: nema rečenice P takve da T ` P i T ` ¬P .
Potpunost: za svaku rečenicu P vrijedi da T ` P ili T ` ¬P .
Neovisnost: za svaki aksiom A vrijedi da ako A ∈ T , onda
(T − {A} 0 A.
tentnost zahtjeva mogućnost da teorija bude istinita, dok potpunost zahtjeva nužnu
istinitost teorema formalnog sustava.
Termin ’potpunost’ (’completness’) ima čisto sintaktičko značenje kada gov-
orimo o potpunosti ne-logičkog aksiomatskog sustava S , on iz para kontradik-
tornih rečenica mora moći dokazati barem jednu. Kod logičkog sustava L ’pot-
punost’ je pojam koji povezuje semantičku i sintaktičku dimenziju. U slučaju
razmatranog sustava FT semantičko svojstvo o kojem je riječ je svojstvo ’biti
tautološka posljedica’.
U traženju dokaza može se pojaviti sumnja u mogućnost sustava FT da dokaže
svaku tautološku posljedicu. Možemo li biti sigurni da će nam uz zadane premise
P1 , ..., Pn i njihovu tautološku posljedicu S sustav omogućiti konstrukciju dokaza
za S iz P1 , ..., Pn ? Teorem potpunosti daje nam potvrdan odgovor na to pitanje.
Primjer 5.1 U rečenici ’Svatko voli nekoga’ zamjenice ’svatko’ i ’netko’ možemo
shvatiti kao: ’svaka osoba’ i ’neka osoba’.
Primjer 5.2 ’Svi američki filmovi imaju sretan završetak. "Love story" je američki
film. Dakle, on ima sretan kraj’ - valjano i nepouzdano. ’Većina američkih filmova ima
sretan završetak. "Love story" je američki film. Dakle, on ima sretan kraj’ - nevaljano, ali
prihvatljivo pod uvjetom da je općenita premisa točna i u nedostatku daljnjih obavijesti.
’Nijedan američki film nema sretan završetak. "Love story" je američki film. Dakle, on
ima sretan kraj’ - nevaljano.
Primjer 5.3 ’Svaka ptica svome jatu leti’ - bi se moglo razumjeti kao otvorena kon-
junkcija rečenica P tica(x) → LetiP rema(x, jato_od(x)) gdje na mjesto koje zauzima
x treba uvrštavati redom individualne konstante koje zastupaju predmete na koje se tvrd-
nja primijenjuje. Kada takvih predmeta ima nepregledno mnogo ili ako nema načina da
se imenuje svaki predmet, ovakvo razlaganje neće biti izvedivo.
61
62 Poglavlje 5 Uvod u kvantifikaciju
Primjer 5.4 U rečenici ’Thai uvijek jede sa štapićima’ prilog ’uvijek’ je implicitni
kvantifikator koji znači ’u svakom trenutku’.
Definicija 1 P (t1 , ..., tn ) jest atomarna ispravno sastavljena formula akko t1 , ..., tn
5.3 Simboli za kvantifikatore 65
Primjer 5.7 Atomarne isf-e: Cijeni(x, otac(x)), Cijeni(x, otac(albert)), Cijeni(albert, otac(albert)).
Atomarne isf s varijablama nisu rečenice. Prije bismo ih mogli shvatiti kao
opis nekog uvjeta. Tek dodavanjem kvantifikatora eventualno dobivamo tvrdnju
o tome da neki predmeti zadovoljavaju taj uvjet.
Primjer 5.8 Isf-u Cijeni(x, otac(x)) možemo shavtiti kao uvjet ’onaj koji cijeni svog
oca’. Dodavanjem kvantifikatora, na primjer sa ’svatko’ dobivamo rečenicu: ’Svatko je
onaj koji cijeni svoga oca’ odnosno ’Svatko cijeni svoga oca’. Rečenicu dobivamo i
zamjenom varijable s indvidualnom konstantom. Na primjer, ’Ivica (je onaj koji) cijeni
svog oca’ ili ’Cijeni(ivica, otac(ivica))’.
Primjer 5.9 ’∀xCijeni(x, x)’ znači da svaka stvar x ispunjava uvjet da x cijeni
x. Rijetko kada izričemo takve tvrdnje o bilo čemu, ma što ono bilo. Gornju tvrdnju
izričemo misleći na osobe. Ako kontekstom nije zadana domena iz koje "dolaze sve
stvari", potrebno je ograničiti predmete za koje se tvrdi da ispunjavaju uvjet ’x cijeni
66 Poglavlje 5 Uvod u kvantifikaciju
x’ na skup osoba. To činimo ovako: ’Za svaki predmet x za kojeg vrijedi da je x osoba,
vrijedi da x cijeni x’. Prema tome rečenicu ’Svatko cijeni samoga sebe’ u formalnom
jeziku zapisujemo ’∀x(Osoba(x) → Cijeni(x, x))’.
Primjer 5.10 ’∃xCijeni(x, x)’ znači da neka stvar x ispunjava uvjet da x cijeni x.
Primjer 5.11 Rečenicu ’Netko cijeni samoga sebe’ možemo prevesti na jezik logike
prvoga reda vodeći računa o ograničenju domene kao ’∃x(Osoba(x) ∧ Cijeni(x, x))’
umjesto kao ’∃xCijeni(x, x)’.
Primjer 5.12
Svatko cijeni svakoga. ∀x∀y[(Osoba(x) ∧ Osoba(y)) → Cijeni(x, y)]
Svatko cijeni nekoga. ∀x[Osoba(x) → ∃y(Osoba(y) ∧ Cijeni(x, y)]
Netko cijeni nekoga. ∃x∃y[Osoba(x) ∧ Osoba(y) ∧ Cijeni(x, y)]
Netko cijeni svakoga ∃x[Osoba(x) ∧ ∀y(Osoba(y) → Cijeni(x, y))]
Nekoga svatko cijeni. ∃x[Osoba(x) ∧ ∀y(Osoba(y) → Cijeni(y, x))]
6. Ako je P isf i ako je v varijabla, onda je ∀vP isf i svaka pojava varijable
v u ∀vP je vezana.
7. Ako je P isf i ako je v varijabla, onda je ∃vP isf i svaka pojava varijable
v u ∃vP je vezana.
Vanjske zagrade možemo izostaviti kada one obuhvaćaju cijelu isf-u.
Podsjetnik
1. Složene isf-e gradimo polazeći od atomarnih isf-a primijenju-
jući pravila 1-7.
2. Isf-a bez slobodnih varijabli je rečenica.
3. Neki autori isf-u u kojoj je neka varijabla slobodna nazivaju
otvorenom rečenicom.
5.5.1 Zadovoljavanje
Definicija 2 Predmet o zadovoljava atomarnu isf-u U (x) ako i samo ako o jest
U.
68 Poglavlje 5 Uvod u kvantifikaciju
Definicija 3 Rečenica ∀xS(x) je istinita ako i samo ako svaki predmet zado-
voljava ispravno sastavljenu formulu S(x).
Definicija 4 Rečenica ∃xS(x) je istinita ako i samo ako barem jedan predmet
zadovoljava ispravno sastavljenu formulu S(x).
5.5 Semantika kvantifikatora 69
Oznaka S(x) ili P (y) stoji za možda složenu isf-u logike prvog reda. Varijabla
u zagradama zastupa samo slobodne pojave te varijable.
Podsjetnik
Kvantificirane rečenice izražavaju tvrdnje o nekom intendira-
nom području rasprave.
Rečenica ∀xS(x) je istinita ako i samo ako svaki predmet iz po-
dručja rasprave zadovoljava isf-u S(x).
Rečenica ∃xS(x) je istinita ako i samo ako neki predmet iz po-
dručja rasprave zadovoljava isf-u S(x).
zatim 2. korak
Primjer 5.18 ’Svi studenti koji su predali rješenja zadataka, dobili su izvrsne ocjene’
No nitko nije predao rješenja pa je rečenica istinita. Konzistentno je nastaviti s rečenicom
’Ali nitko nije predao rješenja’.
Primjer 5.19 ’Neki studenti su posjetili on-line tečaj. Zapravo, to su učinili svi’ je
konzistentan tekst.
Podsjetnik
1. Svi P su Q ne povlači, iako u razgovoru sugerira, da postoje
neki P.
2. Neki P su Q ne povlači, iako u razgovoru sugerira, da svi P
nisu Q.
Primjer 6.2 ’Ona ima sva svojstva pravog prijatelja’, ’Po svemu su slični osim u
jednom’, ...
Primjer 6.3
74
6.1 Tautologije i kvantifikacija 75
Možemo sastaviti rečenicu jednaku u smislu sintakse propozicijske logike (tj. čiji je oblik
A ∨ B) koja neće biti logička istina: ’∀xKocka(x) ∨ ∀x¬Kocka(x)’.
Primjer 6.5
Primjer 6.6
A ’∃xSameSize(x, a) → (∀xCube(x) → ∃xSameSize(x, a))’ za ’A’
A→B ’∃xSameSize(x, a)’ za ’A’ i ’(∀xCube(x) → ∃xSameSize(x, a))’ za ’B’
A → (B → A) ’∃xSameSize(x, a)’ za ’A’ i ’∀xCube(x)’ za ’B’
Podsjetnik
79
80 Poglavlje 7 Valjanosti i posljedice prvog reda
iskazati koliki je točan broj predmeta koji ispunjava neki uvjet, koji je najveći, a
koji najmanji broj takvih predmeta.
Ako možemo reći je li rečenica logički istinita bez da poznajemo značenje
predikata (osim identiteta) koji se javljaju u njoj, onda je ta rečenica valjana
rečenica prvoga reda.
Primjer 7.1 ’∀xIsteV eličine(x, x)’, ’∀xKocka(x) → Kocka(b)’ i ’∀x∃yV oli(x, y)∨
¬∀x∃yV oli(x, y)’ su logičke istine (Svaka stvar jednako je sama sebi po svojoj veličini;
Ako je svaka stvar kocka onda je i b kocka; Svatko voli nekoga ili netko ne voli nikoga).
Pitanje je jesu li to valjane rečenice prvoga reda?
Primjer 7.2 Prva rečenica ne prolazi na testu: ’∀xR(x, x)’, ’∀xP (x) → P (b)’ i
’∀x∃yR(x, y) ∨ ¬∀x∃yR(x, y)
Je li ovdje riječ o posljedici prvog reda? Metoda zamjene pokazuje da nije. Istina je
da 1.Logičar(charles_dodgson) i 2. Književnik(lewis_carroll), ali nije istina 3.
¬(charles_dodgson = lewis_carroll).
Augustus DeMorgan
S(P ) ⇔ S(Q).
Primjer 7.6
∀x(P (x) → Q(x)) ⇔ ∀x(¬P (x) ∨ Q(x)) definicija →
⇔ ∀x(¬P (x) ∨ ¬¬Q(x)) dvostruka negacija
⇔ ∀x¬(P (x) ∧ ¬Q(x)) DeMorganov zakon
Očigledno je gornje rečenice nisu tautološki ekvivalentne jer su izmjene izvele "u un-
utrašnjosti", pod dosegom kvantifikatora.
10
Dvije isf-e sa slobodnim varijablama su logički ekvivalentne akko svaka jednolika supstitucija
imena (starih ili novih) na mjestima njihovih slobodnih varijabli daje logički ekvivalentne
rečenice.
84 Poglavlje 7 Valjanosti i posljedice prvog reda
Primjer 7.7 Neka govorimo o četiri imenovana bloka: a, b, c i d. Tada će rečenica
∀xKocka(x) biti istinita ako i samo ako vrijedi
Slično rečenica ∃xKocka(x) bit će istinita ako i samo ako vrijedi
Primjer 7.8 ¬∀xM aleno(x) bit će istinita ako i samo ako vrijedi
¬(M aleno(a) ∧ M aleno(b) ∧ M aleno(c) ∧ M aleno(d))
Odgovor 4
¬∃x(P (x) ∧ Q(x)) ⇔ ∀x¬(P (x) ∧ Q(x))
⇔ ∀x(¬P (x) ∨ ¬Q(x))
⇔ ∀x(P (x) → ¬Q(x))
Primjer 7.9 Zamislimo da u svijetu nalazimo točno n predmeta čija su imena a1 , ..., an
(svaki predmet ima ime). Rečenica ∀x(P (x) ∧ Q(x)) istinita je u tim okolnostima ako i
samo ako
(P (a1 ) ∧ Q(a1 )) ∧ ... ∧ (P (an ) ∧ Q(an ))
Budući da je konjunkcija asocijativna dobivamo
(P (a1 ) ∧ ... ∧ P (an )) ∧ (Q(a1 ) ∧ ... ∧ Q(an ))
Što je ekvivalentno s
∀xP (x) ∧ ∀xQ(x)
Zapamtite!
∀x(P (x) ∧ Q(x)) ⇔ ∀xP (x) ∧ ∀xQ(x),
86 Poglavlje 7 Valjanosti i posljedice prvog reda
{z } su |/takve_da_su/_svakom_tetraedru_s_lijeva
(ii) Sve |kocke .
{z }
(R(a, a) ∧ R(a, b) ∧ R(a, c)) ∧ (R(b, a) ∧ R(b, b) ∧ R(b, c)) ∧ (R(c, a) ∧ R(c, b) ∧ R(c, c)) .
| {z } | {z } | {z }
87
88 Poglavlje 8 Višestruka kvantifikacija
∃x∃y(Kocka(x) ∧ Kocka(y) ∧ x 6= y)
8.3 Prijevod korak-po-korak 89
8.1.0.1 Zapamtite
Primjer 8.2 ∀x∀yV oli(x, y) ⇔ ∀y∀xV oli(x, y), ali ∀x∃yV oli(x, y) < ∃y∀xV oli(x, y).
Iskažite prethodne rečenice u prirodnom jeziku!
Zadatak 44 Otvorite Arnault’s world i napravite svijet u kojem će sve rečenice biti
istinite.
Primjer 8.3 Nijedna kocka koja se nalazi s lijeve strane nekog tetraedra nije s lijeve
strane nekog, od nje većeg dodekaedra.
Primjer 8.4 Svaka je kocka s lijeve strane svakog dodekaedra. (1) ∀x(Kocka(x) →
x je s lijeve strane svakog dodekaedra), (2) ∀y(Dodek(y) → LijevoOd(x, y)), (3)
∀x(Kocka(x) → ∀y(Dodek(y) → LijevoOd(x, y)))
90 Poglavlje 8 Višestruka kvantifikacija
Primjer 8.5
Nijedna kocka koja se nalazi s lijeve strane nekog tetraedra
nije
s lijeve strane nekog, od nje većeg dodekaedra.
(1) ∀x(Kocka(x) koja se nalazi s lijeve strane nekog tetraedra)→ ¬(x je s lijeve strane
nekog od x većeg dodekaedra). (2) ∀x(Kocka(x) ∧ x je s lijeve strane nekog tetraedra) →
¬(x je s lijeve strane nekog od x većeg dodekaedra) (3) ∀x(Kocka(x) ∧∃y(T et(y) ∧
LijevoOd(x, y)) → ¬(x je s lijeve strane nekog od x većeg dodekaedra) (4) ∀x[(Kocka(x)∧
∃y(T et(y) ∧ LijevoOd(x, y))) → ¬∃z(LijevoOd(x, z) ∧ Dodek(z) ∧ V ećiOd(z, x))]
Primjer 8.6 ’Ako neka kocka ima neki predmet ispred sebe, ona je malena’.
∀x[(Kocka(x) ∧ ∃yIspred(y, x)) → M aleno(x)]
Primjer 8.7 ’Svaki seljak koji ima magarca tuče ga (tog magarca)’ nije ispravno
prikazana s ∀x((Seljak(x) ∧ ∃y(M agarac(y) ∧ P osjeduje(x, y)) → T uče(x, y)) -
naime, ta formula nije rečenica jer je pojava varijable y u T uče(x, y) slobodna. Rješenje
zahtijeva dva univerzalna kvantifikatora. Na primjer: ∀x[M agarac(x) → ∀y((Seljak(y)∧
P osjeduje(y, x)) → T uče(y, x))].
Zadatak 46 Izradite prijevod na jezik logike prvoga reda za rečenicu ’Svaka kocka
koja je iza nekoga dodekadra manja je od njega’.
8.3 Prijevod korak-po-korak 91
Odgovor 6
∀x[Kocka(x) → ∀y((Dodek(y) ∧ Iza(x, y)) → M anjeOd(x, y))],
ili
∀x∀y[(Kocka(x) ∧ Dodek(y) ∧ Iza(x, y)) → M anjeOd(x, y)],
ili
∀x[Dodek(x) → ∀y((Kocka(y) ∧ Iza(y, x)) → M anjeOd(y, x))],
ili...
Primjer 8.8 "Svatko cijeni neku crvenokosu osobu": (i) Svatko ima voljenu crvenokosu
osobu: ∀x∃y(Cijeni(x, y) ∧ Crvenokos(y)), (ii) Neku crvenokosu osobu vole svi:
∃x∀y(Crvenokos(x) ∧ V oli(y, x)).
Primjer 8.9 Pod kojim značenjem prve premise je sljedeći zaključak valjan odnosno
nevaljan: "Svatko cijeni neku crvenokosu osobu. Svatko tko cijeni samoga sebe je
samopouzdan. Dakle, neka crvenokosa osoba je samopouzdana". Dokažite konkluziju
koja slijedi, a nevaljanom zaključku pronad̄ite protuprimjer (tj. situaciju u kojoj su sve
premise istinite a konkluzija lažna).
Rečenica
(∗f )∀xStarijiOd(otac(x), x))
kazuje da je otac bilo koje osobe stariji od te osobe. Ako (*) iskažemo kao
∀x∃y(OtacOd(y, x) ∧ StarijiOd(y, x)),
onda tvrdimo da svaka osoba ima barem jednog oca koji je stariji od nje. Ako
(*f) iskažemo kao
∀x∀y(OtacOd(y, x) → StarijiOd(y, x)),
onda tvrdimo su svi očevi bilo koje osobe stariji od nje. Ono što nam zapravo
treba je tvrdnja da svatko ima barem jednog oca (*1)
∀x∃yOtacOd(y, x)
i da svatko ima najviše jednog oca (*2)
∀x∀y∀z[(OtacOd(y, x) ∧ OtacOd(z, x)) → y = z].
Zagledajmo se u (*2): ona zabranjuje situaciju u kojoj netko ima više od jednog
oca, npr. osoba a ima oca b i oca c. Tada ne bi vrijedilo
(OtacOd(b, a) ∧ OtacOd(c, a)) → b = c
jer bi antecedent bio istinit a konzekvent neistinit budući da b i c nisu različita
imena iste osobe. S druge strane, ako znamo otac(a) = b i otac(a) = c, onda
možemo s pravom zaključiti b = c.
Željeni prijevod daje nam, dakle, konjunkcija (*1)∧(*2). Nju možemo kraće
iskazati ovako:
(∗R)∀x∃y[OtacOd(y, x) ∧ StarijiOd(y, x) ∧ ∀z(OtacOd(z, x) → y = z)]
8.4 Preneksna forma 93
Kada usporedimo (*f) i (*R), očigledna je ušteda na duljini zapisa koju dobivamo
koristeći funkcijske simbole.
Sve što možemo iskazati koristeći n-mjesne funkcijske simbole
možemo iskazati koristeći n + 1-mjesne relacijske simbole, te iden-
titetni predikat. Takvim se prijevodom povećava složenost rečenice.
Primjer 8.11 Rečenicu "Majka nečije majke je mlad̄a od Marije" iskaži na dva načina:
koristeći funkcijske, a zatim koristeći relacijske simbole12 .
Primjer 8.12 "Svaki prirodni broj je ili 0 ili veći od nule" Možemo li iskazati ovu
rečenicu koristeći funkcijske simbole13 ?
Primjer 8.13 Rečenice poput "Svaka kocka koja je na lijevoj strani nekog tetraedra
nalazi se iza nekog dodekaedra" prikazujemo
∀x[(Kocka(x) ∧ ∃y(T etra(y) ∧ LijevoOd(x, y)) → ∃y(Dodek(y) ∧ Iza(x, y))]
∀x(¬P (x) ∨ ∃yQ(y)). 4. Nulta kvantifikacija nad a daje b: ∃y(¬P (x) ∨ Q(y)).
| {z }
a
Zamjena isf-e a s njezinim ekvivalentom b daje: ∀x∃y(¬P (x) ∨ Q(y)).
Primjer 8.14 Primjer primjene strategije "iznutra prema vani": 1. (∃xP (x)∨R(b)) →
∀x(P (x) ∧ ∀xQ(x)). 2. Nulta kvantifikacija: ∃x(P (x) ∨ R(b)) → ∀x(P (x) ∧ ∀xQ(x)).
3. Distribucija ∀ prema ∧: ∃x(P (x) ∨ R(b)) → ∀x(P (x) ∧ Q(x)). 4. Definicija
→: ¬∃x(P (x) ∨ R(b)) ∨ ∀x(P (x) ∧ Q(x)). 5. DeMorgan: ∀x¬(P (x) ∨ R(b)) ∨
∀x(P (x) ∧ Q(x)). 6. Zamjena varijabli: ∀x¬(P (x) ∨ R(b)) ∨ ∀z(P (z) ∧ Q(z)). 7.
Nulta kvantifikacija: ∀x(¬(P (x) ∨ R(b)) ∨ ∀z(P (z) ∧ Q(z))). 8. Nulta kvantifikacija i
definicija za →: ∀x∀z((P (x) ∨ R(b)) → (P (z) ∧ Q(z))).
c) Q → ∀xP ⇔ ∀x[Q → P ],
96 Poglavlje 8 Višestruka kvantifikacija
d) Q → ∃xP ⇔ ∃x[Q → P ]!
Označite zvjezdicom korake koji ne bi bili dopušteni ako bi varijabla x bila slobodna u
Q!
Odgovor 8 a)
∀xP → Q⇔
⇔ ¬∀xP ∨ Q
⇔ ∃x¬P ∨ Q
⇔ ∃x¬P ∨ ∃xQ ∗
⇔ ∃x[¬P ∨ Q]
⇔ ∃x[P → Q]
c)
Q → ∀xP ⇔
⇔ ¬Q ∨ ∀xP
⇔ ∀x[¬Q ∨ P ] ∗
⇔ ∀x[Q → P ]
d)
Q → ∃xP ⇔
⇔ ¬Q ∨ ∃xP
⇔ ∃x¬Q ∨ ∃xP ∗
⇔ ∃x[¬Q ∨ P ]
⇔ ∃x[Q → P ].
dobivenim isf-ama, tada ćemo pokazati da traženo vrijedi za sve isf-e, jer su one
ili atomarne ili su dobivene po pravilima tvorbe.
U osnovnom koraku trebamo dokazati da svaka atomarna isf ima svoju prenek-
snu formu. Po definiciji preneksne forme, atomarna isf već jest u preneksnoj
normalnoj formi jer ne sadrži kvantifikatore.
U induktivnom koraku moramo pokazati da se traženo svojstvo "nasljed̄uje"
u primjeni pravila tvorbe za složene isf-e. Budući da pravila tvorbe pokrivaju nas-
tanak novih isf-a iz već danih putem primjene veznika i kvantifikatora, potrebno
je ispitati svaki mogući način dobivanja novih isf-a.
[Slučaj ¬P ] Pretpostavimo da P ima svoju preneksnu formu. Dakle, za neku
isf-u S bez kvantifikatora vrijedi
P ⇔ Q1 v1 ...Qn vn S ,
gdje je svaki Qi ili ∀ ili ∃, gdje je svako vi varijabla, a u isf-i S ne javlja se niti
jedan kvantifikator. Definirajmo funkciju alt koja mijenja kvantifikatore:
½
∃ ako je Qi univerzalni kvantifikator,
alt(Qi ) =
∀ ako je Qi egzistencijalni kvantifikator.
Po načelu zamjene ekvivalentnih isf,
¬P ⇔ ¬Q1 v1 ...Qn vn S .
R ⇔ Q1 v1 ...Qn vn F ,
S ⇔ Qn+1 vn+1 ...Qn+k vn+k G.
Oslanjajući se na načelo zamjene varijabli, zamijenimo sve pojave varijabli v1 , ..., vn+k
u kvantifikatorskom dijelu i u matricama F i G s novim varijablama w1 , ..., wn+k .
Varijable w1 , ..., wn+k trebaju se razlikovati i od varijabli, ako takvih ima, čije
su pojave slobodne u F i G. Označimo s Fwv i Gvw matrične isf-e koje dobivamo
takvom zamjenom varijabli. Dobivamo:
R ⇔ Q1 w1 ...Qn wn Fwv ,
S ⇔ Qn+1 wn+1 ...Qn+k wn+k Gvw .
Slučaj 1: ∃x(P (x) ∨ R(b)). Slučaj 2: ∀y(P (x) ∧ Q(y)). Slučaj 3: ∀x∀y(P (x) ∧ Q(y)).
Slučaj 4: ∀z∀u∀v[(P (z) ∨ R(b)) → (P (u) ∧ Q(v))].
Poglavlje 9
Metode dokaza za
kvantifikatore
Trebamo otkriti metode dokaza koje će nam omogućiti da dokažemo sve i samo
valjane implikacije logike prvog reda. Drugim riječima, cilj nam je pronaći
metode dokaza koje će nam omogućiti da dokažemo sve ono što slijedi zah-
valjajući značenju kvantifikatora, predikata identiteta i istinitosno-funkcionalnih
veznika. Rezultirajući deduktivni sustav, poput onoga koji će biti izložen ovdje,
zaista ostvaruje ovaj cilj, ali dokaz za tu činjenicu moramo odgoditi za kasnije.
Počinjemo s analizom neformalnih obrazaca zaključivanja. Najprije ćemo
razmotriti dokaze u kojima se javlja jedan kvantifikator, a zatim ćemo razmotriti
višestruku i raznorodnu kvantifikaciju.
100
9.1 Valjani koraci s kvantifikatorima 101
Valjanost ovih koraka nije beziznimna u prirodnom jeziku, gdje nije zado-
voljen uvjet da svako ime imenuje neku postojeću stvar.
Primjer 9.2 "Djed Mraz ne postoji. Dakle, postoji nešto što ne postoji."
Odgovor 10
Primjer 9.3
∀x[Kocka(x) → V eliko(x)]
∀x[V eliko(x) → LijevoOd(x, b)]
Kocka(d)
∃x[V eliko(x) ∧ LijevoOd(x, b)]
Primjer 9.4 Jack Trbosjek je ime koje je Scotland Yard dao nepoznatom počinitelju
višestrukih ubojstava. na taj način uvedeno je ime koje referira na osobu koja je izvršila
zločin ma tko ona bila.
Primjer 9.5
∀x[Kocka(x) → V eliko(x)]
∀x[V eliko(x) → LijevoOd(x, b)]
∃xKocka(x)
∃x[V eliko(x) ∧ LijevoOd(x, b)]
Prve dvije premise su istovjetne kao i u prethodnom primjeru, no treća je "slabija". Ako
bismo mogli eliminirati ∃ iz treće premise, onda bismo imali situaciju jednaku onoj u
prethodnom primjeru. Dokaz: Po trećoj premisi postoji predmet koji je kocka. Neka je
"e" ime za jedan od takvih predmeta. Postupimo isto kao i prije i doći ćemo do toga da
je e velik i lijevo od b. Egzistencijalnom introdukcijom dolazimo do željene konkluzije.
Odgovor 11
Primjer 9.6 Jedna neželjena posljedica bila bi kada bismo zadovoljive premise učinili
nezadovoljivim. Na primjer da smo u prethodnom primjeru iskoristili ime b došli bismo
do konkluzije ∃xLijevoOd(x, x) što nije moguće. Tada bismo trebali zaključiti da su
premise nezadovoljive, a to nije slučaj.
104 Poglavlje 9 Metode dokaza za kvantifikatore
Primjer 9.7 Neka područje rasprave obuhvaća studente nekog fakulteta. Dobili smo
neke informacije o njima u premisama. Pretpostavimo da pod tim premisama možemo
dokazati da je Doris, student-ica fizike bist-ra/ar. Kako bismo mogli dokazati da su svi
studenti fizike na tom fakultetu bistri?
Dokaz 8 Dokaz: Neka se ime "Doris" odnosi na proizvoljnog (bilo kojeg stu-
denta fizike. Po drugoj premisi, Doris je položi-o/la ispit iz Logike I s 5. Po prvoj
premisi, slijedi da je Doris bist-ra/ar. No budući je Doris proizvoljno odabrani
student fizike, slijedi da su sudenti fizike bistri.
√
Zapišimo ga u najmanjem razlomku kao p = n/m. Možemo provjeriti da n i m nisu
djeljivi s p bez ostatka. Kvadratirajući obje strane dobivamo: p = n2 /m2 i zato pm2 =
n2 . Ali tada slijedi da je n2 djeljivo s p, pa zato n je djeljivo s p i n2 je djeljivo s p2 .Iz
posljednjeg slijedi da je pm2 djeljivo s p2 , pa onda je i m2 djeljivo s p. Ali tada je i m
djeljivo s p. Time smo pokazali da su i n i m djeljivi s p što proturječi našem izboru n-a
√
i m-a. Ova kontradikcija pokazuje da je doista p iracionalan.
Primjer 9.9
∀x[Kocka(x) → M aleno(x)]
∀xKocka(x)
∀xM aleno(x)
Uvodimo novo ime d koje zastupa proizvoljnog člana domene. Primijenjujući univerzalnu
instancijaciju dvaputa dobivamo 1. ako je d kocka, onda je d maleno i 2. d je kocka. Po
modus ponens dobivamo da je d maleno. Ali d označava proizvoljni objekt u domeni, pa
onda ∀xM aleno(x) slijedi po univerzalnoj generalizaciji.
Primjer 9.10
∀xKocka(x)
∀xM aleno(x)
∀x[Kocka(x) ∧ M aleno(x)]
Primjer 9.11
∃y[Djevojka(y) ∧ ∀x(M omak(x) → V oli(x, y))]
∀x[M omak(x) → ∃y(Djevojka(y) ∧ V oli(x, y))]
U prirodnom jeziku: Postoji djevojka koju svi momci vole. Dakle, svaki
momak voli neku djevojku
Primjer 9.12
∀x[M omak(x) → ∃y(Djevojka(y) → V oli(x, y))]
?
∃y[Djevojka(y) → ∀x(M omak(x) → V oli(x, y))]
http://www.vusst.hr/~logika/2003/euklid.prf
U jednom je gradiću bio brijač koji je brijao sve one i samo one koji nisu brijali
sami sebe. Priču možemo formalizirati ovako:
∃z∃x[BrijačIz(x, z)∧∀y(M uškaracIz(y, z) → (Brije(x, y) ↔ ¬Brije(y, y)))]
Naizgled nema nikakvih logičkih prepreka za postojanje takvog gradića. No,
evo dokaza da takvog gradića ne može biti.
16
∀z∀x[¬MuškaracIz(x, z) ∨ ¬∀y(MuškaracIz(y, z) → (Brije(x, y) ↔
¬Brije(y, y)))] ⇐⇒
∀z∀x[MuškaracIz(x, z) → ∃y(MuškaracIz(y, z) ∧ (Brije(x, y) Y ¬Brije(y, y)))]
Muškarci iz bilo kojeg grada ili briju nekog muškarca ili taj muškarac ne brije sebe.
Poglavlje 10
Formalni dokazi i kvantifikatori
∀xS(x)
..
.
B S(c)
∀xS(x)
i ako je c ime nekog predmeta iz domene na koju se odnose rečenice našeg jezika,
onda možemo zaključiti daS(c). Tradicionalni iskazi: što vrijedi za sve, vrijedi
i za pojedine. Uočimo da smo polazeći od rečenice u kojoj se javlja univerzalni
kvantifikator došli do rečenice u kojoj je izostavljen.
∀xP (x).
112
10.2 Pravila za egzistencijalni kvantifikator 113
Važno je uvijek upotrebiti novo ime jer to ime "pokušava referirati" na proizvoljni
predmet, predmet o kojemu ne znamo ništa (odnosno u varijanti općenitog kondi-
cionalnog dokaza: predmet o kojemu ne znamo ništa osim da ispunjava uvjet u
pretpostavci poddokaza).
S(c)
..
.
B ∃xS(x)
pravilo univerzalne introdukcije a drugi put koristeći samo pravilo općenitog kondi-
cionalnog dokaza.
10.2.3.2 ∃ Intro
10.2.3.5 ∀ Intro
11.1.1.2 ∀
11.1.1.3 ¬∀ i ¬∃
11.1.1.4 ∃
116
11.1 Pravila za kvantifikatore i predikat identiteta 117
√ √
¬∀xP (x) ¬∃xP (x)
∃x¬P (x) ∀x¬P (x)
Identitetna pravila
a = b; P (a) ¬a = a
P (b) zatvorite granu
Zadatak 58 Everybody loves my baby but my baby don’t love nobody but me. Pjesma
Palmer-a i Williams-a iz 1924. Konkluzija: Baby is me.
11.1.2.1 Protuprimjeri
Primjer 11.1
Slika pokazuje stablo koje bi moglo nastati pri ispitivanju valjanosti zaključka ∃xP (x) ∧
∃xQ(x) ` ∃x(P (x) ∧ Q(x)). Pravokutnici s lijeve strane pokazuju točke koje moramo
gledati da bismo očitali protuprimjer. D = {a, b}, P = {a}, Q = {b}.
Numeričke tvrdnje kojima se tvrdi kako točno odred̄eni broj predmeta ispun-
java neki uvjet možemo iskazati u logici prvoga reda.
120
12.1 Barem n predmeta 121
z }| {
((P (b) ∧ P (a) ∧ b 6= a) ∨ (P (b) ∧ P (b) ∧ b 6= b) ∨ (P (b) ∧ P (c) ∧ b 6= c)) ∨
| {z }
⊥
z }| {
((P (c) ∧ P (a) ∧ c 6= a) ∨ (P (c) ∧ P (b) ∧ c 6= b) ∨ (P (c) ∧ P (c) ∧ c 6= c))
| {z }
⊥
Uklanjajući ⊥ dobivamo:
((P (a) ∧ P (b) ∧ a 6= b) ∨ (P (a) ∧ P (c) ∧ a 6= c))∨
((P (b) ∧ P (a) ∧ b 6= a) ∨ (P (b) ∧ P (c) ∧ b 6= c))∨
((P (c) ∧ P (a) ∧ c 6= a) ∨ (P (c) ∧ P (b) ∧ c 6= b))
Uklanjajući duplikate (koristeći najprije komutativnost konjunkcije, zatim
simetričnost relacije ne-identiteta i na kraju idempotentnost disjunkcije) dobi-
vamo traženo:
((P (a) ∧ P (b) ∧ a 6= b) ∨ (P (a) ∧ P (c) ∧ a 6= c)) ∨ (P (b) ∧ P (c) ∧ b 6= c))
Predodžba u pozadini: promatramo parove imena, provjeravamo zadovol-
javaju li njima imenovani predmeti P (x) i jesu li različiti; ako da kažemo da
je ’barem dva predmeta su P’ istinita rečenica, ako ne nastavljamo postupak do
posljednje provjere; neuspjeh provjere pokazuje da ’barem dva predmeta su P’
nije istinita rečenica.
Zadatak 61 Pokušajte smisliti još neki način kako bi se mogla provjeravati ’barem
dva’ rečenica!
Koji su predmeti P?
5. a 3. a,c
6. b 4. b,c
7. c
8. /
122 Poglavlje 12 Numerička kvantifikacija
Primjer 12.2
najviše 2 barem 3
z}|{ z }| {
0 1 2 3 4 5 ...
Izrazi ’Najviše dvije stvari su P ’ i ’Barem tri stvari su P ’ uspijevaju razdijeliti sve
mogućnosti u pogledu broja stvari koje su P . Rečenica ’Najviše dvije ili barem tri
12.2 Najviše n predmeta 123
Odgovor 15
124 Poglavlje 12 Numerička kvantifikacija
Primjer 12.3
najviše dva
←−−−−−→
0 1 2 3 4 5 ...
←−−−−−−−−−−−−→
barem dva
"Postoje točno dva predmeta koja ispunjavaju uvjet P" možemo iskazati kao (i)"Postoje
barem dva i postoje najviše dva predmeta koja ispunjavaju uvjet P". Sažetije gornju
tvrdnju možemo iskazati ovako (ii)"Postoje dva različita predmeta koja ispunjavaju uvjet
P i ma koji predmet zadovoljavao uvjet P taj je predmet identičan s jednim od njih".
Takod̄er je možemo iskazati i ovako (iii) "Postoje barem dva predmeta takva da štogod
zadovoljavalo uvjet P identično je s jednim od njih i što god bilo identično s jednim od
njih zadovoljava uvjet P".
Primjedba 6 Ponegdje su se, zbog razumljivih razloga, uvriježile pokrate ∃=n xP (x),
∃5n xP (x), ∃!n xP (x) za tvrdnje da postoji barem n, najviše n, te točno n pred-
meta koji zadovoljavaju uvjet P (x).
Zadatak 63 Pokušajte pronaći što "prirodnija" čitanja za sljedeće rečenice: (i) ∀x∀y
x = y, (ii) ∀x∃y x = y, (iii) ∃x∀y x = y, (iv) ∃x∃y x = y. Koje su med̄u njima valjane
rečenice prvoga reda? Koje (ako ijedna) su "elejske" ili "sve je jedno"-rečenice? Ako je
neka rečenica valjanost prvoga reda, izradite dokaz za nju!
12.3.1 Jedini P
Razlika u provjeravanju istinitosti za ’Svi’ i ’Neki’ u odnosu na način provjer-
avanja numeričkih kvantifikatora nije beznačajna. Za ’Sve stvari su P’ moramo
proći preko svakog predmeta da bismo potvrdili istinitost, za ’Neke stvari su P’
možemo stati kod prve pozitivne instance, za ’Samo je jedan predmet P’ nužno
je ispitati sve slučajeve, nakon prve pozitivne instance sve ostale moraju biti
negativne.
Sve je P. Nešto je P. Jedno je P.
verifikacija preko cijele domene do prve pozitivne instance preko cijele domene
falsifikacija do prve negativne instance preko cijele domene do druge pozitivne instance
ili preko cijele domene
Promotrimo formulu ∃x(P (x) ∧ ∀y(P (y) → x = y)) i njoj ekvivalentnu
∃x(P (x) ∧ ¬∃y(P (y) ∧ x 6= y)) Ona kaže da postoji stvar koja je P i nijedna
druga stvar nije P.
12.4 Što je dovoljno za znati iskazati numeričke tvrdnje? 127
2 ".
6= x1 x2 ... xn−1 xn
x1 ¥ x1 6= x2 ... x1 6= xn−1 x1 6= xn
x2 x2 6= x1 ¥ ... x2 6= xn−1 x2 6= xn
... ... ... ¥ ... ...
xn−1 xn−1 6= x1 xn−1 6= x2 ... ¥ xn−1 6= xn
xn xn 6= x1 x1 6= x2 ... xn 6= xn−1 ¥
Primjer 12.5 Tablica pokazuje kako dva numerička kvantifikatora dijele polje mogućih
128 Poglavlje 12 Numerička kvantifikacija
Primjer 12.6 Kako ćemo "isječi" jednu odred̄enu količinu? Primjer za ’Dva...’:
najviše dva
←−−−−−→
0 1 2 3 4 5 ...
←−−−−−−−−−−−−→
barem dva
Primjer 12.8 Dokažimo ekvivalenciju ∃x(P (x)∧∀y(P (y) → x = y)) ⇔ ∃x∀y(P (y) ↔
x = y). Moramo pokazati da je desna strana posljedica lijeve i obratno. Počinjemo s
12.4 Što je dovoljno za znati iskazati numeričke tvrdnje? 129
lijeva na desno (pritisnite hipervezu, preuzmite prf dokument i odredite pravila koja se
primijenjuju u ?? ).Dokaz
Primjer 12.9 Postoji li za izraz "More than one thing is smaller than something larger
than b." neki drukčiji zapis od onoga "Postoje najmanje dvije stvari koje su manje od
130 Poglavlje 12 Numerička kvantifikacija
necega većeg od b"? Da. Evo jednog načina. ’Nije tako da je najviše jedan predmet
manji od nečega što je veće od b’ .
Poglavlje 13
Odred̄eni opisi
Primjer 13.1 Ako nema slona u ormaru i ako zato mislimo da je (i) ’Taj slon u ormaru
ne gužva moju odjeću’ neistinita rečenica, je li negacija te rečenice - rečenica (ii) ’Taj
slon u ormaru gužva moju odjeću’? Ako jest, onda je potonja rečenica (ii) istinita budući
je negacija neistininite rečenice (i).
Primjer 13.2 Sličnu poteškoću stvaraju "Oba slona u ormaru gužvaju moju odjeću" i
"Ni jedan ni drugi slon u ormaru ne gužva moju odjeću". Što ako u ormaru nema slonova
ili ih ima tri?
13.1 Taj
Bertrand Russell je početkom 20. stoljeća predložio način analiziranja takvih
rečenica za koje se čini kao da govore o odred̄enim predmetima. Po tom prijed-
logu rečenice "Taj A je jedan B" ("The A is a B") ne treba tretirati kao atomarne
rečenice "B(tajA)" već kao složene rečenice u kojima izraz "taj A" daje odred̄eni
opis. Odred̄eni opis (definite description) je "unikatni opis" predmeta, "jedini
predmet koji je A". Budući da se "taj A" shvaća kao "jedini A", dobivamo
sljedeći formalni zapis: A(x) ∧ ∀y(A(y) → x = y), odnosno ∀y(A(y) ↔
x = y). Dalje, Taj A je jedan B" shvaćamo kao "Samo je jedna stvar A i ona
je B" i prikazujemo kao ∃x(A(x) ∧ ∀y(A(y) → x = y) ∧ B(x)), odnosno kao
∃x∀y((A(y) ↔ x = y) ∧ B(x)).
131
132 Poglavlje 13 Odred̄eni opisi
drugu. Ako tako stoje stvari, onda jedna med̄u njima mora biti istinita, a druga
neistinita. Ali, sadašnji francuski kralj ne postoji i ne možemo reći koja je
rečenica istinita iako po prethodnom stavku jedna mora takvom biti. Najlakše
rješenje ove potoškoće bilo bi u tome da pravilom tvorbe zabranimo tvrdnje o
nepostojećim predmetima. Drugo rješenje bilo bi uvod̄enje nove semantičke
vrijednosti za tvrdnje o nepostojećim predmetima (npr. ”neodred̄eno”). No
Russell nije odabrao takav način. Po njegovom prijedlogu, ovakve rečenice ne
trebamo promatrati kao rečenice koje govore o odred̄enoj osobi, već o bilo kojoj.
Prikažimo logički oblik rečenica (i) i (ii) i pretpostavimo da izraz ”sadašnji fran-
cuski kralj” ima ulogu ”subjekta” tj. ”onoga o čemu se nešto govori”. Dobivamo:
(i) B (k)
(ii) ¬B (k)
uz tumačenje: k : ta osoba koja je sadašnji francuski kralj, B : biti ćelav
Na temelju ovakvog prikaza logičkog oblika možemo zaključiti ili da rečenice
nisu ispravno sastavljene ili da logička načela nisu općevaljana.
Pogledajmo kako Russell prikazuje logički oblik ovih rečenica.
(i) ∃y∀x ((Kx ←→ x = y) ∧ By)
(ii) ∃y∀x ((Kx ←→ x = y) ∧ ¬By)
uz tumačenje: K : biti sadašnji francuski kralj
Dobivamo ”Postoji netko tko je jedini sadašnji ćelavi francuski kralj ” i
”Postoji netko tko je jedini sadašnji francuski kralj i on nije ćelav”, a tu nema
proturječja, obje su rečenice neistinite.
Obje rečenice mogu biti neistinite jer jedna ne negira drugu. Negacija rečenice
”Sadašnji francuski kralj je ćelav” ima oblik:
(iii) ∀y∃x ((Kx ←→ x = y) → ¬By), što u slobodnom prijevodu glasi ”Ako
je netko jedini sadašnja francuski kralj, onda ta osoba nije ćelava” (i istinito je).
Jednoznačni opis ne zastupa neki predmet, nije ime. Rečenice koje sadrže
jednoznačni opis sadrže tvrdnju da postoji predmet koji ispunjava opisom zadane
uvjete i da je takav predmet samo jedan.
Sintaksa je sada proširena s novim pravilom tvorbe koje kazuje da sintak-
tička uloga imena i jednoznačnog opisa nije ista. Odstupanje od pravila u raz-
motrenom primjeru poslijedica je netočnog prikaza logičkog oblika.
13.2 Oba
Primjer 13.4 Ako rečenicu "Oba slona su u ormaru" shvatimo kao "Postoje točno
dva slona i oni su u ormaru", a rečenicu "Ni prvi ni drugi slon nisu u ormaru" kao
"Postoje točno dva slona i oni nisu u ormaru" onda je očigledno da nemamo posla s
parom kontradiktornih rečenica. U formalnom smilu dobivamo za prvo: ∃!2 xSlon(x) ∧
∀x(Slon(x) → U _Ormaru(x)) i za drugo: ∃!2 xSlon(x)∧∀x(Slon(x) → ¬U _Ormaru(x))
∃!n P (x) ∧ ∀x(P (x) → Q(x)) znači ’Ima točno n predmeta koji
13.3 Presupozicije 133
su P i oni su Q’.
Primjedba 7 ∃!n (P (x) ∧ Q(x)) < ∃!n P (x) ∧ ∀x(P (x) → Q(x)).
Zadatak 66 Jesu li sljedeće rečenice ekvivalentne: (i) ∃!1 xP (x)∧∀x(P (x) → Q(x)),
(ii) ∃!1 x(P (x) ∧ Q(x))? Izgradite svijet gdje će (i) biti istinito a (ii) neće!
13.3 Presupozicije
Na drukčiji način problem referencije rješavao je Peter Strawson. Po njegovom
mišljenju Russellova teorija odred̄enih opisa umjesto da opisuje načine govora,
unosi revizije koje nisu potrebne. Trebamo razlikovati rečenice i tvrdnje (state-
ment) koje govornici pomoću njih izriču. Kada govornik kaže da je taj A jedan
B, onda izraz ’taj A’ suprotno Russellovoj teoriji - doista referira, ili bolje je reći
pokušava referirati. Da bi izricanje neke tvrdnje bilo smisleno neki uvjeti moraju
biti zadovoljeni. Takve uvjete nazivamo presupozicijama. Tvrdnja da je sadašnji
kralj francuske ćelav presuponira, ali ne implicira da on postoji. Slično, ’Frane
134 Poglavlje 13 Odred̄eni opisi
je posjetio svoju kćer’ presuponira da Frane ima kćer. Ako prespozicija nije
zadovoljena, rečenica nema značenja. Strawsonova analiza ne čini mi se prih-
vatljivom u odnosu na filozofsku pretpostavku koja mi se čini vrlo prihvatljivom:
ako je rečenica ispravno sastavljena, ona ima značenje.
Primjer 13.5 ’(i) Napoleon je bio najveći francuski vojskovod̄a. (ii) Wellington je
porazio najvećeg francuskog vojskovod̄u’: u (i) se odred̄eni opis [najveći francuski vo-
jskovod̄a] koristi atributivno, a u (ii) referencijalno.
Primjer 13.6 Pretpostavimo da domena obuhvaća samo tri stvari čija su imena re-
dom a, b i c.
Stanje potpunog neznanja u odnosu na odred̄eni opis P
Sve su mogućnosti otvorene:
1.1 a,b,c
1.2 a,b
1.3 a,c
1.4 b,c
1. a,b,c *Q
1.5 a Učinak informacije
1.6 b Samo je jedan P i on je Q
∃!1 xP (x)∧∀x(P (x)→Q(x))
1.7 c =⇒ 5.1,5.2, 5.3, 5.5
1.8 - 6.1, 6.2, 6.4, 6.6
2.1-2.8 a,b+*Q 7.1, 7.3, 7.4, 7.7
3. 1-3.8 a,c+*Q
4.1-4.8 b,c+*Q
5.1-5.8 a+*Q
6. 1-6.8 b+*Q
7.1-7.8 c+*Q
8.1-8.8 /+*Q
Primjer 13.7
Stanje znanja u odnosu na odred̄eni opis P i predikat Q
Sugovornik zna da je a jedini P, ali ne zna tko je Q
Q? Učinak informacije
a,b,c ∃!1 xP (x) ∧ ∀x(P (x) → Q(x))
a,b P Q
∃!1 xP (x)∧∀x(P (x)→Q(x))
a,c =⇒ a abc
P
b,c a ab
a
a a ac
b a a
c
/
da jedna rečenica može imati dvije vrste značenja. Takvo bi rješenje bilo u
suprotnosti s načelom kompozicionalnosti. Rečenice svoje značenje dobivaju
u kontekstu. U razmatranim primjerima, promjena koju rečenica izaziva na in-
formacijskom stanju slušača ovisi o tom informacijskom stanju. Dakle, nije riječ
o dvije uporabe, nije riječ o pragmatici koja slobodno lebdi iznad semantike, već
o kontekstualnoj ovisnosti značenja.
Poglavlje 14
Logika generalizirane
kvantifikacije
Determinatori su, u sintaktičkom smislu, operatori koji se povezuju s općenitom
imenicom tvoreći imeničku frazu; u semantičkom smislu, odnos izmed̄u deno-
tacija imeničke i glagolske fraze. Neki detreminatori nisu iskazivi u jeziku logike
prvoga reda (’više’ u ’Ona ima više položenih ispita od njega’), neki su iskazivi
pod odred̄enim ograničenjima (kod konačne veličine imeničke fraze, ’većina’ u
’Većina Ivanovih prijatelja voli jazz’), neki su iskazivi bez ograničenja (’samo
jednom ’ u ’samo jednom se ljubi’).
Primjer 14.1
Kocke su većinom velike.
A(x) =def Kocka(x) ∧ V eliko(x)
B(x) =def Kocka(x) ∧ ¬V eliko(x)
∃xA(x) ∧ ∀x¬B(x) Sve su kocke velike ILI
=2 51
∨∃ xA(x) ∧ ∃x xB(x) barem dvije kocke su velike a najviše jedna nije ILI
... ...
∨∃= n−1 xA(x) ∧ ∃x5 n−2 xB(x) barem n-1 kocki je veliko a najviše n-2 nije.
Primjer 14.2 ’Svi osim jednog gosta bili su vegetarijanci’ postaje ’Svi_osim_jednog
x(Gost(x), V egetarijanac(x))’.
137
138 Poglavlje 14 Logika generalizirane kvantifikacije
14.1.1 Konzervativnost
Ovo svojstvo vrijedi za skoro sve determinatore koji se iskazuju samo s jednom
riječi iz prirodnog jezika. Riječ je o slijedećem svojstvu:
Primjer 14.3 Primjer za ⇒ polovinu konzervativnosti: ’Ako nijedan liječnik nije odv-
jetnik, onda nijedan liječnik nije liječnik i odvjetnik’.
Primjer 14.5 ’Samo su glumci - bogati glumci’ ne povlači ’Samo su glumci bogati’.
| {z } | {z } | {z }
A B A
14.1.2 Monotoničnost
Monotoničnost determinatora odnosi se na pitanje što će se dogoditi ako povećamo
ili smanjimo veličinu skupa B , skupa stvari koje zadovoljavaju glagolsku frazu
u rečenici oblika Q A B .
14.1.2.1 Monotoničnost u porastu
Zadatak 69 Ispitajte svojstva monotoničnosti za: najviše dva, barem dva, točno dva!
18
Jedino ’najviše dva’ nije monotonična u porastu.
140 Poglavlje 14 Logika generalizirane kvantifikacije
19
Perzistentni: neki, Ivičin. Antiperzistentni: nijedan. Ni perzistentan ni antiperzistentan:
mnogi, jedini.
14.2 Logička gramatika 141
Ivica hoda
i i\r
Ivica hoda.
r
Isto tako, Ivica hoda brzo po izloženoj gramatici pripada kategoriji r, tj. taj
izraz je rečenica.
i i\r (i\r)\(i\r)
i\r
i\r
|V ećina
{z } studenata
| {z } |{z} voli glazbu.
| {z }
if /oi oi (if \r/oi) oi
| {z }| {z }
if if \r
| {z }
r
14.2 Logička gramatika 143
Četvrti aksiom treba iskazati posebnost svjetova u Tarski’s World gdje svaki
predmet ima jedan od navedenih oblika. Iskažite taj aksiom!
Definicija predikata ’IstiOblik’ za Tarski-svjetove putem pravila
uvod̄enja i uklanjanja
Zadatak 75 Izgradite dokaz za sljedeće zaključake ako su oni valjani, u protivnom iz-
gradite protuprimjer: a) IstiOblik(b, c) ` IstiOblik(c, b); b) ∀x(Kocka(x) → IstiOblik(x, b)) `
Kocka(b).
Zadatak 78 Što bismo trebali učiniti da naša "aksiomatska teorija o istovjetnosti ob-
lika u Tarski-svijetu" postane formalnom!
Zadatak 81 Prevedite prvi aksiom iz Spinozine Etike na jezik logike prvoga reda (ko-
risteći U kao simbol za prijedlog ’u’)!
Zadatak 82 Koristeći tri tumačenja odnosa ’...je u...’ ispitajte zadovoljivost Spinozinog
aksioma te očuvanje njegove razgovorne implikature u danom tumačenju! [Podsjetnik:
Ako rečenica koju govornik tvrdi sa sobom donosi i sugestiju koja se može ukinuti (bez izazivanja
kontradikcije) dodatnim govornikovim izrekama, onda se ta sugestija naziva razgovornom imp-
likaturom i ona se ne promatra kao dio sadržaja izvorne rečenice.]
14.2 Logička gramatika 145
Zadatak 83 Kojem (ili kojim ili kojoj kombinaciji) tumačenju biste dali prednost?
Kratko obrazložite svoj odgovor!
Zadatak 84 Pretpostavimo da je ispravno treće tumačenje, tj. da vrijedi (IR) ∀x¬U (x, x).
Je li koja od ponud̄enih rečenica:
teorem u sustavu koji sadrži Spinozin aksiom i rečenicu (IR)? Ako jest - izradite dokaz (u
Fitch-u), u protivnom, nad̄ite protuprimjer i nacrtajte ga u "dijagramu sa strelicama".
Zadatak 85 Pretpostavimo da vrijedi (IR) ∀x¬U (x, x) i (T) ∀x∀y∀z((U (x, y)∧U (y, z)) →
U (x, z)). Ima li tada odnos ’...je u...’ svojstvo jake povezanosti? Drugim riječima, vrijedi
li sljedeća tvrdnja o mogućnosti dokazivanja
Primjer 14.9 Ako na pitanje "Kada će biti kolokvij?" naš sugovornik odgovori "U
ponedjeljak ili u petak", onda po maksimi kvalitete mi pretpostavljamo da on ne zna
točno kojeg će se dana kolokvij održati. Ako sugovornik zna kojeg će se dana održati
kolokvij onda on izriče rečenicu manje informativnu od one koju je mogao (a po maksimi
kvantitete i trebao) izreći.
Zadatak 86 Koja je rečenice informativnija u gornjem smislu: (A1) ’Sve što jest jest
u sebi ili u nečemu drugom.’ ili (IR) ’Ništa od onoga što jest nije u sebi’?
Logički su moguće sve one okolnosti koje nisu isključene na osnovi značenja
riječi. Na primjer, zbog značenja predikata ’veće od’, okolnosti u kojima je veliki
predmet manji od malenog - logički nisu moguće. Ili, zbog značenja determi-
natora ’neki’, logički nisu moguće okolnosti u kojima je predmet a kocka i
istodobno nijedan predmet nije kocka. U tom smislu, nema šireg skupa okolnosti
od logički mogućih okolnosti. Spoznaja u realnim znanostima ide za time da se
"otkrije" koje su okolnosti moguće zbog važećih, izvan-logičkih zakonitosti.
Uočimo da sada riječ ’moguće’ ne koristimo u smislu ’logički moguće’ već ’stvarno ili
fizički moguće’.
Primjer 15.1 ’Russell je filozof’ istinito je ako i samo ako predmet imenovan s ’Rus-
sell’ pripada skupu koji je zadan predikatom ’je filozof’. [D. Davidson]
149
150 Poglavlje 15 Teorija skupova
15.1.0.4 Predikati
∅, prazni skup
Primjer 15.2 Rečenicu ’Svaka je stvar element nekog, ovog ili onog skupa’ u jeziku
s jednom vrstom varijabli prikazujemo kao ∀x∃y(Skup(y) ∧ x ∈ y), a u jeziku s dvije
vrste varijabli ovako: ∀x∃a(x ∈ a).
∀a∀b[∀x(x ∈ a ↔ x ∈ b) → a = b]
Identitet skupova ne ovisi o načinu na koji su oni opisani.
15.3 Dva osnovna aksioma naivne teorije skupova 151
Primjer 15.3 Skup životinja koje imaju srce i skup životinja koje imaju bubreg istov-
jetan je.
Primjer 15.4 Zahvaljujući činjenici da nema predmeta koji bi bili njihovi članovi,
skupovi okruglih kvadrata, ćelavih sadašnjih kraljeva Francuske, jednoroga, pokretnih
nekretnina, drvenih štednjaka, stvari koje se razlikuju od samih sebe itd. - jedan su te isti
skup.
Primjer 15.6 Neka nam je zadan uvjet ’x rado čita Kanta’. Po aksiomu komprehen-
zije postoji cjelina, skup sačinjen od svih onih i jedino od onih koji rado čitaju Kanta.
Neka nam je zadan uvjet ’∃yV oli(x, y)’. taj uvjet odred̄uje skup koji obuhvaća sve one i
samo one koji nekoga vole.
∃a∀x[x ∈ a ↔ P (x)]
Aksiom kaže da postoji skup a čiji su članovi sve stvari (P (x) → x ∈ a) i
samo one stvari (x ∈ a → P (x)) koje zadovoljavaju formulu P (x).
Zapravo, aksiom treba iskazati u još općenitijem obliku. Na primjer, ako
bismo htjeli reći da za svaki predmet postoji skup koji sadrži samo taj predmet,
onda bi nam trebalo još varijabli.
Tvrdnja 11 Za svaku isf-u P (x) postoji jedan jedinstveni skup stvari koje zado-
voljavaju P (x).
∃!a∀x[x ∈ a ↔ P (x)]
b ∈ {x | P (x)}
∃a[∀x(x ∈ a ↔ P (x)) ∧ b ∈ a]
Primjer 15.9 {Donald Davidson} je skup, apstraktni objekt, a pok. Donald David-
son bio je istaknuti filozof.
Tvrdnja 12 ∀a : a ⊆ a
fleksivnost inkluzije.
Tvrdnja 14 ∀a : ∅ ⊆ a
Za zapamtiti:
Neka su a i b skupovi.
1. a ⊆ b akko je svaki element od a takod̄er element od b.
2. a = b akko a ⊆ b i b ⊆ a.
Tvrdnja 17 ∀a∀b : a ∩ b = b ∩ a
Tvrdnja 18 ∀a∀b : a ∩ b = b ↔ b ⊆ a
Figure 15.1
Zapamtimo:
Neka su b i c skupovi.
1. x ∈ b ∩ c ako i samo ako x ∈ b ∧ x ∈ c
2. x ∈ b ∪ c ako i samo ako x ∈ b ∨ x ∈ c
3. x ∈ b − c ako i samo ako x ∈ b ∧ x ∈
/c
Teorem 20 Ako je skup rečenica {S1 , ..., Sn } iz jezika L inkonzistentan (to jest,
ako nije konzistentan), {S1 , ..., Sn } ` ⊥.
Zadatak 99 Dokažite na formalan način da je skup koji sadrži rečenice ’Sve kocke su
malene’ i ’Neke kocke nisu malene’ inkonzistentan!
15.6 Digresija: konzistentnost 161
Zadatak 100 Poslužite se prethodnim dokazom i pokažite kako se bilo koja rečenica
može dokazati pomoću inkonzistenog skupa! To ćete učiniti tako što ćete dokazati proizvoljnu
rečenicu B!
Zadatak 101 Kojim biste razlozima opravdali ili osporili pravilo ⊥Elim, to jest, ex
falso quodlibet?
Mogli bismo reći da slabost inkonzistentnog skupa rečenica leži u tome što
on dokazuje previše, jer on dokazuje sve. Promotrena sa semantičke strane,
slabost inkonzistentnog skupa rečenica leži na suprotnoj strani - on ne govori ni o
čemu. Semantički pojam konzistentnosti nećemo uvoditi jer on zahtijeva dodatna
sredstva formalne semantike. Ali možemo dati neformalnu definiciju. Neki je
skup rečenica semantički konzistentan akko su moguće okolnosti u kojima su sve
rečenice iz tog skupa istinite. Radi didaktičke svrhe napravimo jedan korak koji
u strogoj teoriji nije dopušten i pokušajmo razjasniti semantičku inkonzistentnost
koristeći pojam o sintaktičkoj inkonzistentnosti. Budući da inkonzistentan skup
dokazuje par kontradiktornih rečenica i budući da je sustav prirodne dedukcije
pouzdan, verifikacija inkonzistentnog skupa zahtijevala bi okolnosti u kojima bi
ista rečenica bila istodobno i istinita i neistinita. Takve okolnosti nisu moguće,
pa zato inkonzistentna teorija ne govori ni o čemu što bismo mogli zamisliti.
Inkonzistentnost u sintaktičkom smislu daje sve i ne daje ništa u seman-
tičkom smislu: ona sve dokazuje a ništa ne opisuje.
Poglavlje 16
Skupovi skupova
Aksiom komprehenzije primijenjuje se općenito tako da on, izmed̄u ostalog, dop-
ušta da sačinimo skupove od drugih skupova. Ako smo, na primjer, već formirali
skupove20 {0} i {0, 1}, onda možemo ići dalje i od tih skupova sačiniti nove, na
primjer {{0}, {0, 1}}.
Primjer 16.1 Pravac prikazan na slici može se shvatiti kao skup točaka čija su imene
ured̄eni parovi njihovih koordinata, < x, y >.
20
Na primjer: {x | x ∈ N ∧ x = 1 − 1} ili{x | x je broj koji pripada pojmu ’Venerin mjesec’};
i {x | x ∈ N ∧ 0 5 x < 2} ili {x |x je broj koji pripada pojmu ’Venerin mjesec’ ili x je broj koji
pripada pojmu ’Zemljin mjesec’}
162
16.1 Ured̄eni parovi 163
Ono što nam je potrebno jest neki način modeliranja ured̄enih parova koji će
nam omogućiti da dokažemo sljedeću tvrdnju:
< x, y >=< u, v >↔ (x = u ∧ y = v)
Ako uspijemo dokazati da ova tvrdnja vrijedi za odabrani način reprezentacije
ured̄enih parova, onda ćemo znati da nam ta reprezentacija omogućuje da odred-
imo koji je element prvi a koji drugi po redu u ured̄enom paru.
Ima više načina za modelirati ured̄ene parove. Najjednostavniji i najšire ko-
rišteni način jest onaj gdje se < x, y > shvaća kao oznaka skupa {{x}, {x, y}}.
Definicija 12 Ured̄eni par < x, y > je skup {{x}, {x, y}}. U simbolima:
∀x∀y < x, y >= {{x}, {x, y}}
Zadatak 103 Koliko članova ima skup {{x}, {x, y}} a) ako x = y, koliko b) ako
x 6= y?22
{x | x ∈ D, x je kocka}
b) {∅, {∅}} 6= c
22
a) 1; b) 2
23
Model je "sustav postulata, podataka i zaključaka koji služi kao matematički opis nekog
predmeta ili stanja stvari" - kaže Merriam Webster Dictionary.
Predlažem ovakvu radnu definiciju: "model je formalni sustav, tj. misaona konstrukcija kojeg
izrad̄ujemo kako bismo nešto spoznali ".
16.3 Svojstva za odnose 165
Svojstva relacija mogu se iskazati kao uvjeti koje trebaju biti zadovoljeni u ek-
stenziji predikata. Na primjer, ako je relacija R refleksivna, onda za svaki x ∈ D,
< x, x >∈ R.
Ako je relacija R simetrična onda je valjan zaključak:
R(a, b)
R(b, a)
Ako je relacija R tranzitivna, onda je valjan zaključak:
R(a, b)
R(b, c)
R(a, c)
Zadatak 104 Opišite valjane oblike zaključka za relacije koje imaju redom sljedeća
svojstva: asimetričnost, antisimetričnost i irefleksivnost.
Odgovor 23 Asimetrična R:
R(a, b)
¬R(b, a)
Antisimetrična R:
R(a, b)
R(b, a)
a=b
16.3 Svojstva za odnose 167
Irefleksivna R:
¬R(a, a)
Pedagoška digresija
A concept is a rule that may be applied to decide if a particular
object falls into a certain class24 .(Encyclopaedia Britannica CD 98)
Pojam je misao o biti onoga što mislimo.(G. Petrović, Logika)
Zbog pristranosti tradicionalnog pojma pojmovi o odnosima zane-
maruju se u izboru gradiva. Razumjeti neki relacijski pojam znači poz-
navati svojstva relacije o kojoj je riječ. Čini se kao da se često pret-
postavlja da će relacijski pojmovi biti usvojeni sami po sebi, na primjer
da će učenik samo otkriti da odnos ’južno od’ ima svojstvo postojanja
krajnjeg člana a da odnos ’istočno od’ nije takav, da će se simetričnost
odnosa ’=’ otkriti sama po sebi, ...Uočimo, da se relacijski pojmovi ne
uče na isti način kao i tradicionalni pojmovi koji su pojmovi o vrstama,
a ne o odnosima.
Zadatak 105 Odredite inverze relacijama: stariji od, jednako visok kao, rod̄ak od,
otac od, predak od!
Odgovor 24 Mlad̄i od, jednako visok kao, rod̄ak od, dijete od, potomak od.
Zadatak 106 Popunite tablicu upisujući ’DA’ ako relacija ima navedeno svojstvo:
ManjiOd IstiRed LijevoOd IstiOblik
Tranzitivan
Refleskivan
Irefleksivan
Simetričan
Asimetričan
24
Pojam je pravilo zahvaljujući kojemu možemo odrediti ulazi li pojedini predmet u neki
skup.
168 Poglavlje 16 Skupovi skupova
R|S relativni produkt {hx, yi | ∃z(R(x, z) ∧ S(z, y))} Otac|M ajka = P atrilinearnaBaka
I identitetna relacija {hx, yi | x = y}
R00 a slika relacije u skupu {x | y ∈ a ∧ R(x, y)} |očevi
{z } studenata
| {z }
R a
init(R) početni članovi {x | R(x, y) ∧ x 6= y} |očevi
{z }
R
Primjer 16.7 Nalazimo se u dućanu obuće. Sve cipele iste veličine daju klase ekviva-
lencije za pojedini broj. Kada uzmemo jednu cipelu, c, ona može poslužiti kao uzorak za
svoju klasu ekvivalencije: {y ∈ D |< c, y >∈ IsteV eličine}, koja obuhvaća sve cipele
koje su istoga broja kao i c.
{y ∈ D | hx, yi ∈ R}
Zadatak 107 Otvorite u Fitch-u Exercise 15.29. Ovaj dokument kao cilj dokaza
sadrži tvrdnju da je odnos istovjetnosti oblika ekvivalentan. Svrha ove vježbe je pokazati
da su ciljne rečenice koje iskazuju to svojstvo odnosa posljedica značenja osnovnog
predikata. Pravilo Ana Con smijete koristiti samo za atomarne rečenice.
16.3.3.1 Particija
Primjer 16.9 Zapišite gornju definiciju koristeći simbole teorije skupova i jezik logike
prvoga reda!
Odgovor 25
∙ µ ¶¸
∀c(c ∈ a → (c ⊆ b ∧ c 6= ∅))∧
∀a∀b P articijaOd(a, b) ↔ ,
∀x(x ∈ b → ∃!c(c ∈ a ∧ x ∈ c)
[
gdje a = {x | ∃y : y ∈ a ∧ x ∈ y}.
Zadatak 109 Logička razdioba pojma je adekvatna ako je zbroj opsega članova raz-
diobe jednak opsegu diobene cjeline. Iskažite ovu definiciju koristeći jezik teorije skupova.
Diobenu cjelinu (totum divisionis) označite s t, članove diobe (membra divisonis) oz-
načite s m1 , ..., mn .
Zadatak 110 Logička razdioba pojma je jedinstvena ako se njezini članovi med̄u-
sobno isključuju. Iskažite ovu definiciju koristeći jezik teorije skupova!
16.3.4 Funkcije
Intuitivno, funkcija je način povezivanja stvari sa stvarima, na primjer dodjelji-
vanje registarskih oznaka vozilima.
Funkcije se, jednako kao i dijadične relacije, modeliraju u teoriji skupova
pomoću ured̄enih parova. Za relaciju R na skupu D kažemo da je funkcija ako
zadovoljava sljedeći uvjet:
Ovaj uvjet kazuje da za jedan’ulaz’ postoji najviše jedan ’izlaz’. Ako funkcija
ispunjava dodatni uvjet ("postojanja"), onda se kaže da je ona totalna na D:
Totalnost: ∀x∃yR(x, y)
Zadatak 112 Koji od sljedećih skupova predstavljaju funkcije na skupu D = {1, 2, 3, 4}?
Za one koji su funkcije, odredite njihovu domenu i rang! 1. {< 1, 3 >, < 2, 4 >, <
3, 3 >}, 2. {< 1, 2 >, < 2, 3 >, < 3, 4 >, < 4, 1 >}, 3. {< 1, 2 >, < 1, 3 >, < 3, 4 >
, < 4, 1 >}, 4. {< 1, 1 >, < 2, 2 >, < 3, 3 >, < 4, 4 >}, 5. ∅
Primjer 16.10 Neka je i skup njemačkih idealista, i={Kant, Fichte, Schelling, Hegel}.
℘i ={ ∅, {Kant}, {Fichte}, {Shelling}, {Hegel}, {Kant,Fichte}, {Kant,Schelling}, {Kant,Hegel},
{Fichte,Schelling}, {Fichte,Hegel}, {Schelling,Hegel}, {Kant,Fichte,Schelling}, {Kant, Fichte,
Hegel}, {Kant, Schelling, Hegel}, {Fichte, Schelling, Hegel}, {Kant,Fichte, Schelling,
Hegel}}.
Tvrdnja 23 ∀b∃!c∀x(x ∈ c ↔ x ⊆ b)
2.∅ ∈ ℘b;
3.a ⊆ b akko ℘a ⊆ ℘b
Primjer 16.11 Skup {John Venn} je i element i podskup skupa {John Venn, {John
Venn}}
Sljedeća tvrdnja pokazuje da niti jedan skup ne može imati kao elemente sve
svoje podskupove.
Gornja tvrdnja kazuje da za svaki skup b možemo naći skup c koji je podskup
od b, ali nije element od b. Naime, možemo konstruirati Russellov skup za b:
c = {x | x ∈ b ∧ x ∈/ x}.
Zapamtite.
Partitivni skup skupa b je skup svih podskupova od b:
℘b = {a | a ⊆ b}
/ x}.
x∈b∧x∈
Zadatak 114 U sljedećem nizu naslućujućih tvrdnji, pronad̄ite istinite i dokažite ih.
Za neistinite pronad̄ite primjer koji pokazuje njihovu neistinitost25 . 1. ∀b : ∅ ⊆ ℘b, 2.
∀b : b ⊆ ℘b, 3. ∀a∀b : ℘(a ∩ b) = ℘a ∩ ℘b.
c = {x | x = x}
25
1. Da. Primjenite dokaz da je prazni skup podskup svakog skupa na poseban slučaj partitivnog
skupa.
2. Ne. Protuprimjer: {1}, ℘{1} = {∅, {1}}. Naime, kada bi vrijedilo {1} ⊆ ℘{1}, onda bi 1
morao biti element od ℘{1}.
3. Da. Skupovi a i b su identični akko a ⊆ b i b ⊆ a. L-D. Pretpostavimo
d ∈ ℘(a ∩ b). Kako je d podskup presjeka on sadržava samo predmete koji su i u a i u b; tj.
∀x : x ∈ d → (x ∈ a ∧ x ∈ b). S druge strane, ℘a ∩ ℘b obuhvaća sve podskupove od a i od b
koji imaju iste članove; tj. d ∈ ℘a ∩ ℘b ↔ ∀x(x ∈ d → (x ∈ a ∧ x ∈ b)). Budući da desna
strana bikondicionala vrijedi po pretpostavci, proizlazi traženo: d ∈ ℘a ∩ ℘b. D-L. Pretpostavimo
d ∈ ℘a ∩ ℘b. Tada vrijedi ∀x(x ∈ d → (x ∈ a ∧ x ∈ b)). Po definiciji relacije podskupa
dobivamo d ⊆ a ∩ b. A po definiciji partitivnog skupa, slijedi da d ∈ ℘(a ∩ b). .
16.5 Russellov paradoks 177
No, poteškoća je u tome što možem dokazati i negaciju gornje tvrdnje (to
smo već bili učinili).
Ideja je slijedeća: ako a nije "prevelik", onda ni njegov podskup neće biti
"prevelik".
Nova, modificirana aksiomska shema naziva se aksiomom separacije:
∀a∃b∀x[x ∈ b ↔ (x ∈ a ∧ P (x))]
tj.
ad infinitum
Razina 3 Predikati za Tip 0, Tip 1 i Tip 2 U3
Razina 2 Predikati za Tip 0 i Tip 1 U2 = ℘U 1 Mnogobrojan; VećeOd (?)
Razina 1 Predikati koji se primjenjuju na Tip 0
U1 = ℘U 0 Kosook; Kocka
Razina 0 "Pojedinačni predmeti" U0 = {x : x je pojedinačnost} Konfucije
Rečnica x ∈ y koristi binarni predikat ’∈’ koji se smije primijeniti samo
na predmete različitog tipa. Označimo s tn tip kojemu pripada pojedini izraz,
onda je rečenica tn ∈ tm ispravno sastavljena samo ako je m > n. Zbog toga,
formula kojom se konstruira Russellov skup nije ispravno sastavljena formula.
x∈/ x jednostavno ne uspijeva iskazati niti jedan uvjet.
Teorija tipova:
Kada se jedan simbol predicira drugome, prvi mora pripadati
višem tipu a drugi nižem.
16.6 Zermelo Fraenkel teorija skupova 179
Prvi dio (i) izravno slijedi iz aksioma komprehenzije kao jedna njegova instanca. Drugi
dio (ii) zahtijeva primjenu aksioma ekstenzionalnosti. Pretpostavimo da su c i d skupovi
čiji su članovi upravo oni predmeti koji su elementi u a ili u b. Trebamo dokazati ∀x(x ∈
c ↔ x ∈ d).
2. Aksiom separacije.
Dopušta tvorbu skupova stvari koji zadovoljavaju neki uvjet iz
već postojećeg skupa.
3. Aksiom neured̄enog para: za bilo koja dva predmeta postoji skup koji ih
ima kao svoje članove,
4. Aksiom unije: ako je dan bilo koji skup skupova a, unija svih njegovih
elemenata takod̄er je skup. To jest:
∀a∃b∀x[x ∈ b ↔ ∃c(c ∈ a ∧ x ∈ c)]
∃a[∃x(x ∈ a∧∀y : y ∈
/ x)∧∀x(x ∈ a → ∃y(y ∈ a∧∀z(z ∈ y ←→ z ∈ x∨z = x))]
Pogledajmo kako aksiom generira beskonačni skup:0 ili ∅, 1
ili ∅ ∪ {∅} = {∅}, 2 ili {∅}∪ {{∅}} = {∅, {∅}}, 3 ili {∅, {∅}} ∪
{{∅, {∅}}} = {∅, {∅}, {∅, {∅}}}, itd.
Promotrimo skup a = {a}. Ako bismo ga htjeli zapisati u popis zapisu, susreli
bismo se poteškoćama: {a} ali a = {a}, pa zato {{a}} ali a = {a}, pa zato
{{{a}}}, itd. Najbliže što možemo doći jest da naznačimo beskonačno "ugn-
ježd̄ivanje" a = {{{...}}}. Budući da je svoj jedini član tj. a = {a}, slijedi da je
on jednočlani skup. Zbog toga intuicija o ograničenoj veličini skupova ne može
odbaciti ovakve skupove.
Logičar Zermelo tvrdio je da o skupovima trebamo misliti kao o nečemu
što nastaje na osnovi apstraktne radnje povezivanja u cjelinu predmeta koji su
nam već dani. prije no što se izgradi neki skup njegovi elementi već moraju biti
izgrad̄eni. na osnovi ovakve "kumulativne" metafore možemo objasniti zašto se
skup a = {a} ne može izgraditi. Da bi se taj skup konstruirao prethodno mora
biti izgrad̄en njegov jedini element, ali to je on sam. Kumulativna konstrukcija
zahtijeva da element nekog skupa bude konstruiran u nekom prethodnoj fazi, a
član iregularnog skupa ne može biti konstruiran u prethodnoj fazi.
Joseph Shoenfield pokušao je opravdati aksiome ZFC teorije pozivajući se
16.6 Zermelo Fraenkel teorija skupova 183
Zadatak 116 Neka je f (x) = 2x za bilo koji prirodni broj x. Što je domena ove
funkcije? Što je rang ove funkcije? Je li ta funkcija 1 − za − 1?
16.6.1.4 Primjene
jom, dakle postupak kojim se niz predmeta povezuje na temelju izdvajnja nji-
hovih sličnosti i zanemarivanja njihovih razlika26 Riječ je o svojevrsnom ”mišl-
jenju jedinstva” - različiti predmet povezuju se u jedinstvenu cjelinu (pojam,
skup). Petogodišnje dijete iz Piagetovo eksperimenta promatra kolekciju pločica,
sve pločice su plave, no neke su pravokutne a neke zaobljene. Piaget pita: Jesu li
sve plave pločice okrugle?, a dobiva postotak točnih odgovora koji tek neznatno
premašuje slučajno pogad̄anje. Dijete ne odgovara točno na ovo pitanje jer još
nije ovladalo s operacijom inkluzije, tj. ono još nema sposobnost da isti pred-
met istodobno svrsta u različite skupove; iako dijete povezuje po sličnosti ono
još ne ”povezuje takva povezivanja”. Druga operacija je serijacija, nazovimo
je mišljenjem razlike. Ovdje se predmeti ne povezuju po sličnostima, već se
sred̄uju s obzirom na njihove razlike. U predoperacijskoj fazi petogodišnjak
točno odgovara na pitanje koji je predmet veći, kada se ukloni veći predmet,
a manjem se doda još manji dijete opet točno odgovara, ali na pitanje je li onaj
prvi predmet kojega ono više ne vidi više od trećega dijete ne zna odgovoriti i
traži da mu se ponovo pokaže prvi predmet kako bi moglo usporediti. Dijete još
ne prepoznaje tranzitivnost odnosa ”biti-veći-od” ili ”ne povezuje povezivanje po
razlici”. Dovršenje tih dviju intelektualnih operacija, Piaget ih naziva logičkima,
potrebno je za numeričku intelektualnu operaciju. Da bismo razumjeli kako i
zašto ponovit ćemo Piagetovu kritiku logicizma i intuicionizma.
Logicizam broj promatra kao ”skup ekvivalentnih skupova”, no s psihološkog
stajališta apstrakcija koja vodi k tvorbi skupa (iz U1 ) razlikuje se od apstrakcije
koja vodi k tvorbi skupa jednakobrojnih skupova tj. broju (barem iz U2 ).
2 je skup
Primjer 16.14 Ako prirodne brojeve shvatimo na ovaj način, onda za stjecanje takvih
brojeva treba ovladati: (i) apstrakcijom, kvalificirane vrste koja tvori skupove na osnovi
svojstava njihovih elemenata, (ii) bijekcijom, za tvorbu skupova koji su brojevi, (iii)
individuiranjem predmeta.po mjestu u nizu.
No u drugom slučaju sva svojstva predmeta moraju biti zanemarena jer za obostrano
jednoznačno pridruživanje nije važno koji se predmeti povezuju. Takva ap-
strakcija koja zanemaruje sva svojstva nije više apstrakcija, jer lišiti predmet
svih svojstava znači nemati ga više.27 Zato takva ”ekstremna” apstrakcija zaht-
jeva nadopunu s komplementarnom operacijom, a to je ”ekstremna” serijacija.
Svako ured̄ivanje kolekcije predmeta na temelju njihove razlike pretpostavlja ra-
zlikovanje vrijednosti/intenziteta nekog svojstva. No budući da su ”ekstremnom
apstrakcijom” predmeti lišenih svih svojstava to komplementarna ”ekstremna
serijacija” unosi razliku u ”položaju” i tako restituira predmete dajući im svojstva
koja imaju kao članovi niza. Operacije serijacije i inkluzije ”koordiniraju se na
novi način - što je rezultat odbacivanja njihovih razlika”. Numerička operacija
pretpostavlja logičke jer je njihov produžetak (ekstrem), ali nije istovjetna s njima
jer im mijenja karakter. Na temlju spomenute analize i intuicizam pokazuje svoje
slabosti, jer ako broj pretpostavlja logiku, onda intuicija nije temelj.
Nažalost, čini se da vrijednost Piagetove briljantne analize umanjuje čin-
jenica da on preuzima logicistički pojam broja, za kojeg imamo razlog odbaci-
vanja. Mogući povrat vrijednosti Piagetov analizi bio bi u ukazivanju da njegova
teorija tumači spoznajni postanak predznanstvenog pojma broja.
27
Berkeley:”Što ostaje kada trešnju lišimo svih svojstava?”
Poglavlje 17
Matematička indukcija
Matematička indukcija nije indukcija na osnovi uzorka niti indukcija nabrajan-
jem. Potonje ili nisu oblik deduktivnog zaključivanja ili ne mogu opravdati
općenitu konkluziju koja se odnosi na beskonačno mnogo slučajeva. Matem-
atička indukcija nije indukcija u smislu izvod̄enja općenite konkluzije na temelju
konačnog broja opažanja. Takva "empirijska" indukcija na temelju uzorka je
osporiva: ona ne može potpuno opravdati općenitu konkluziju (koja se odnosi ili
i na neopažene slučajeve ili na na beskonačno mnogo slučajeva) Nasuprot tome
matematička indukcija može opravdati općenitu konkluziju (koja se odnosi na
beskonačno mnogo slučajeva) na temelju konačnog dokaza.
188
17.2 Kako matematička indukcija može opravdati općenitu konkluziju koja189
se odnosi na beskonačan broj slu
Primjer 17.1 Induktivna definicija pal-niza slova. Osnovna kaluzula: svako slovo
abecede je pal. Induktivna klauzula: ako je niz slova α pal, onda je pal i niz slova koji
nastaje kada se α doda isto slovo sprijeda i straga (npr. bαb). Završna klauzula: ništa
nije pal osim onoga što se dobije ponovljenom primjenom osnovne i induktivne klauzule.
Primjer 17.2 Induktivna definicija rečenice propozicijske logike L*. Osnovna klauzula:
atomarne rečenice su rečenice propozicijske logike L*. Induktivna klauzula: ako su
φ i ψ rečenice propozicijske logike L*, onda su i ¬φ, (φ ∧ ψ), (φ ∨ ψ), (φ → ψ),
(φ ↔ ψ) rečenice propozicijske logike L*. Završna klauzula: ništa drugo nije rečenica
propozicijske logike L*.
Primjer 17.3 Primjer iz literature. /K. Gödel, "O formalno neudlučivim iskazima..."/
Definicija skupa formula. Osnovna klauzula: elementarna formula je kombinacija sim-
bola oblika a(b) gdje je b termin n-tog tipa,i a termin n + 1 tipa Elementarna formula
je član skupa formula Induktivna klauzula: ako a i b pripadaju skupu formula onda tom
skupu pripadaju i ¬(a), (a) ∨ (b), ∀x(a) Završna klauzula: skup formula je najmanji
skup čiji članovi zadovoljavaju gornje uvjete.
F ::= P | ¬F | (F ∧ F ) | ♦F "
190 Poglavlje 17 Matematička indukcija
P | ¬F | (F ∧ F ) | ♦F
F ::= |{z}
| {z }
osnovni tvorba novih
Primjer 17.5 Dokažimo da se svaki pal čita jednako sprijeda i straga, tj. da je svaki
pal palindrom. Dokaz. Osnova: Osnovni elementi su pojedinačna slova. bilo koje
17.3 Induktivni dokaz 191
Metafora. Domine moraju biti tako složene (definicija mora biti induk-
tivna) da kad jedna domina padne - tada pada i sljedeća (induktivni korak).
Da bi se sve domine srušile potrebno je gurnuti prvu (osnovni korak).
Odgovor 33 (a) Najprije nam treba definicija preneksne (normalne) forme. Isf
logike prvoga reda je u preneksnoj normalnoj formi ako ona ne sadrži kvantifika-
tore ili se svi kvantifikatori nalaze "na početku" formule. Trebamo dokazati ekvi-
valentnost. Drugim rječima, moramo pokazati da ako vrijedi P , koja je egzisten-
cijalna isf, onda vrijedi neka formula Q koja nema univerzalnih kvantifikatora,
i obratno. Osnovni korak: osnovne egzistencijalne isf su u preneksnoj formi jer
ne sadrže kvantifikatore. Zato su logički ekvivalente formule u preneksnoj formi
bez ∀ za njih upravo oni sami. Induktivni korak: pretpostavimo da za egzisten-
cijalne isf-e P1 , ..., Pn postoje logički ekvivalente ∃v1 ...∃vi Q1 , .., ∃v1 ...∃vj Qn
koje imaju traženi oblik. Trebamo ispitati dva slučaja tvorbe po klauzuli 2. Ako
je formula dobivena po induktivnoj klauzuli iz P1 , ..., Pn - formula (P1 ∨...∨Pn ),
192 Poglavlje 17 Matematička indukcija
Primjer 17.6 Induktivna definicija pal-niza slova. Skup pal nizova slova je najmanji
skup koji zadovoljava sljedeće klauzule. Osnovna kaluzula: svako slovo abecede je pal.
Induktivna klauzula: ako je niz slova α pal, onda je pal i niz slova koji nastaje kada se α
doda isto slovo sprijeda i straga (npr. bαb).
Najmanji skup.
\
Odgovor 34 Pretpostavimo da postoji skup koji je manji od K:
\
(*) ∃b[b ∈ K ∧ ¬ K ⊆ b]
\
Tada mora postojati neki predmet e takav da e ∈ Kie∈ / b. Ali to nije
\
moguće jer po definiciji za K , b ∈ K → e ∈ b i po pretpostavci dobivamo
e ∈ b.
Figure 17.1
Zadatak 121 Otvorite Exercise 16.19 i dokažite ∀x(x + 1 = 1 + x). Četvrta premisa
daje nam potrebnu instancu aksioma matematičke indukcije. Ona nam pokazuje kako
možemo dokazati traženo. Naime, treba dokazati 0 + 1 = 1 + 0 i ∀x[x + 1 = 1 + x →
(x + 1) + 1 = 1 + (x + 1)]
Poglavlje 18
Potpunost sustava prirodne
dedukcije za propozicijsku
logiku
Jedno željeno svojstvo logičkog sustava povezano je uz usklad̄enost semantike
i sintakse. Ako se sve ono što slijedi (semantički pojam) može i dokazati (sin-
taktički pojam) pomoću logičkog sustava, onda je on potpun. Ispitat ćemo ima li
sustav prirodne dedukcije koji pokriva pravila za istinitosno funkcionalne veznike
i logičku konstantu neistine svojstvo potpunosti. Drugim rječima, pitat ćemo se
omogućuju li nam pravila eliminacije i introdukcije za ∧, ¬, ∨, →, ↔, ⊥ da
dokažemo svaku tautološku posljedicu.
Zadatak 122 Zamislimo jezik s jednim predikatom, ’Kocka’ i dvije individualne kon-
stante, ’a’ i ’b’. Taj jezik ima dvije atomarne rečenice i četiri funkcije dodjeljivanja
istinitosnih vrijednosti.
195
196Poglavlje 18 Potpunost sustava prirodne dedukcije za propozicijsku logiku
Kocka(a) Kocka(b)
h1 h1 (Kocka(a)) = IST IN IT O IST IN IT O
h2 IST IN IT O N EIST IN IT O
h3 N EIST IN IT O IST IN IT O
h4 N EIST IN IT O N EIST IN IT O
Sada možemo proširiti funkciju h dodjeljivanja istinitosnih vrijednosti s novom
funkcijom ĥ koja će biti definirana za skup svih rečenica i koja svoju vrijednost
dobiva iz skupa {IST IN IT O, N EIST IN IT O}. Dok o funkciji h možemo
misliti kao o lijevom dijelu retka istinitosne tablice koji se nalazi ispod atomarnih
rečenica (ili propozicijskih slova), dotle o ĥ kao o cijelom retku, koji obuhvaća i
dio koji se nalazi ispod složenih rečenica.
Njegovo je značenje ’Ako P onda Q, u protivnom R’. Definirajte funkciju ĥ za taj veznik!
Odgovor 35 ĥ(♣(P, Q, R)) = > ako i samo ako ĥ(P → Q) = > i ĥ(¬P →
R) = >. Ako nastavimo razlaganje, onda vidimo da moraju biti zadovoljena dva
18.2 Potpunost propozicijske logike 197
uvjeta: (i) ĥ(P ) = ⊥ ili ĥ(Q) = >, i (ii) ĥ(P ) = > ili ĥ(R) = >.
Figure 18.1
200Poglavlje 18 Potpunost sustava prirodne dedukcije za propozicijsku logiku
Figure 18.2
Figure 18.3
18.2 Potpunost propozicijske logike 201
Figure 18.4
202Poglavlje 18 Potpunost sustava prirodne dedukcije za propozicijsku logiku
Dokaz 28
T 0T S =⇒ ¬T auCon(S, T ) kontrapozicija
T ∪ {¬S} 0T ⊥ =⇒ ¬T auCon(S, T ) po lemi form.kon.
T ∪ {¬S} 0T ⊥ =⇒ Zadovoljiv(T ∪ {¬S}) po lemi tau.con.zad.
1.T ` T (R ∧ S) akko T `T R i T `T S
2.T ` T (R ∨ S) akko T `T R ili T `T S
3.T ` T ¬S akko T 0T S
4.T ` T (R → S) akko T 0T R ili T `T S
5.T ` T (R ↔ S) akko bilo T `T R i T `T S bilo T 0T R i T 0T S
Lema 35 Skup rečenica T je formalno potpun ako i samo ako za svaku atom-
arnu rečenicu A vrijedi T `T A ili T `T ¬A.
ako T1 ⊆ T2 ,
onda T1 ∪ T2 0T ⊥."
Zadatak 128 Neka je A1 , A2 , A3 , ... popis svih atomarnih rečenica i neka je T for-
208Poglavlje 18 Potpunost sustava prirodne dedukcije za propozicijsku logiku
T0 = T
..
. ½
Tn ∪ {An+1 } ako Tn ∪ {An+1 } 0T ⊥ i Tn ∪ {¬An+1 } 0T ⊥
Tn+1 =
Tn u protivnom.
..
.
[
T max = {x | x ∈ T0 ∨ x ∈ T1 ∨ ... ∨ x ∈ Tn ∨ ...} = Ti
i=0,1,2,3,...
Zadatak 129 Zadan je jezik L s dva predikata, Kocka i M aleno, i s dvije indi-
vidualne konstante, a i b. Neka je T sljedeći skup rečenica: T = {¬(Kocka(a) ∧
M aleno(a)), Kocka(b) → Kocka(a), M aleno(a) ∨ M aleno(b)}. Ovaj skup nije
formalno potpun. (i) Poredajte po abecedi atomarne rečenice iz L! (ii) Izgradite skup
18.3 Potpunost formalno potpunog skupa rečenica 209
TLmax za T obzirom na jezik L! (iii) Što je slučaj: TLmax ` M aleno(b) ili TLmax `
¬M aleno(b)? (iv) Dokažite to! (v) Koje dodjeljivanje istinitosnih vrijednosti h zado-
voljava skup TLmax ? (vi) Izgradite "Tarski-svijet" takav da sve rečenice iz TLmax budu
istinite!
Odgovor 40 (i) Kocka (a) , Kocka (b) , M aleno (a) , M aleno (b). (ii) TLmax =
T ∪ {Kocka (a) , Kocka (b)}. (iii) TLmax ` ¬M aleno(b). itd.
Odgovor 41
Zadatak 132 Primjenite tvrdnju 35 i odredite je li skup T max formalno potpun? Ako
jest, skicirajte dokaz za to!
210Poglavlje 18 Potpunost sustava prirodne dedukcije za propozicijsku logiku
Figure 18.6
18.3 Potpunost formalno potpunog skupa rečenica 211
Zadatak 133 Opišite odnose izmed̄u logičke (analitičke) istine, istine prvoga reda i
tautologije.
212
19.2 Posljedica prvoga reda 213
(Kocka(a)A ∧ T etraedar(b)B ) → ¬a = bC
(Književnik(lewis_carroll) ∧ Logičar(charles_dodgson)) →
¬lewis_carroll = charles_dodgson
Naš je cilj konstruirati matematički predmet koji će predstaviti sve ono što je u
ovom svijetu relevantno za odred̄ivanje istinitosne vrijednosti rečenica u jeziku
kojega razmatramo.
Domena (područje rasprave). Očigledno je da moramo predstaviti čin-
jenicu da u tom svijetu ima točno četiri predmeta. To ćemo učiniti tako što ćemo
konstruirati četveročlani skup D = {b1 , b2 , b3 , b4 } gdje b1 predstavlja (recimo)
prvi predmet s lijeve strane, tj. c, te tako redom do b4 koji predstavlja mali
tetraedar. Za ovaj skup D kažemo da je područje rasprave u našoj strukturi
prvoga reda.
Predikati i ekstenzije u strukturi.. U tvorbi strukture prvoga reda usmjer-
avamo se samo prema onim obilježjima područja rasprave koja su relevantna za
odred̄ivanje istinitosti rečenica. Za naš (pod)jezik mnoga su obilježja ”svijeta”
na slici nevažna, poput položaja predmeta ili njihove boje. S druge strane, oblik
i veličina imaju važnost jer jezik govori o tim svojstvima: možemo reći je li neki
predmet kocka i je li veći od drugoga. Zbog toga činjenice o obliku i odnosu
veličina moramo ugraditi u našu strukturu. To radimo tako što predikatu Kocka
dodijelimo odred̄eni podskup Ko iz područja rasprave D. Ovaj skup nazivamo
ekstenzijom predikata Kocka u ovoj strukturi. Za modeliranje svijeta na slici,
ekstenzija predikata Kocka je skup Ko = {b1 , b2 , b3 }. Na sličan način postu-
pamo i s dvomjesnim predikatom V ećeOd; kojemu dodjeljujemo skup ured̄enih
parova,
V e = {< b2 , b1 >, < b3 , b1 >, < b3 , b2 >, < b2 , b4 >, < b3 , b4 >}.
V e je ekstenzija predikata V ećeOd u ovoj strukturi.
19.3 Struktura prvoga reda 215
Zadatak 134
D = {a1 , a2 , a3 , a4 }; Ko = {a1 , a2 , a3 }, V e = ∅; c = a4
Funkcija M
"Ulaz" "Izlaz"
∀ (univerzalni kvantifikator) M (∀) = D (područje rasprave, domena, predmetno područje)
P n (n-mjesni predikat) M (P n ) ⊆ {< x1 , ..., xn >| x1 ∈ D, ..., xn ∈ D} (ekstenzija)
U drukčijem zapisu: M (P n ) ⊆ Dn
= M (=) = {< x, x >| x ∈ D}
c (individualna konstanta) M (c) ∈ D (referent)
Primjer 20.1 Neka je M struktura s domenom D = {a, b, c}. Evo nekih funkcija
dodjeljivanja vrijednosti varijablama: (i) g1 dodjeljuje b za x (tj. g1 = {< x, b >}, g1
je parcijalna funkcija ako {x | ∃y(y = g1 (x))} 6= skup_varijabli), (ii) g2 dodjeljuje
a, b, c za varijable x, y, z, tim redom, (iii) funkcija g3 dodjeluje svim varijablama u
jeziku predmet b (totalna funkcija s rangom {y | ∃x(g3 (x) = y)} = {b}), (iv) "prazna"
funkcija g4 koja ne dodjeljuje vrijednost niti jednoj varijabli ( dom (g4 ) = ∅, rang je u
ovom slučaju {y | ∃x(g4 (x) = y)} = ∅).
28
Kako odred̄ujemo je li varijabla vezana ili slobodna:
217
218 Poglavlje 20 Istina i zadovoljavanje
1. Ako je P isf i ako je v varijabla, onda je ∀vP isf i svaka pojava varijable v u
∀vP je vezana.
2. Ako je P isf i ako je v varijabla, onda je ∃vP isf i svaka pojava varijable v u
∃vP je vezana.
20.1 Dodjeljivanje vrijednosti varijablama 219
Kazat ćemo da g zadovoljava ∀zV oli(x, z) ako i samo ako svako modificirano dodjelji-
vanje g 0 zadovoljava ∀zV oli(x, z).
Zadatak 135 Opišite koristeći jezik teorije skupova domenu i rang funkcije g[v/b]!
[[t]]M
g = g(t) ako je t varijabla
Sada možemo definirati što to znači da dodjeljivanje vrijednosti g zadovol-
java isf P u strukturi M . Prvo, g mora biti odgovarajuće za P . Drugo, definicija
neće donijeti nikakvih iznenad̄enja, zapravo je riječ samo o formalizaciji jedne
intuitivne ideje.
Primjer 20.5 Struktura M s domenom D = {a, b, c}. Jezik sadrži binarni predikat
V oli čija je ekstenzija u strukturi V oliM = {< a, a >, < a, b >, < c, a >}. Pro-
matramo isf: ∃y(V oli(x, y) ∧ ¬V oli(y, y)). Dodjeljivanje g zadovoljava isf-u ako i
samo ako ono dodjeljuje a za x (naime jedino a voli nekoga koji ne voli samoga sebe).
Ispitajmo primjer koristeći gornju definiciju. Prvo, g mora dodjeljivati neku vrijednost
za x da bi g bilo odgovarajauće za formulu. Ta vrijednost mora biti jedan med̄u a, b i
c; nazovimo je e. Drugo, po klauzulu za ∃, g zadovoljava ovu isf akko postoji d ∈ D
takav da g[y/d] zadovoljava V oli(x, y) ∧ ¬V oli(y, y). Po klauzulama za konjunkciju i
negaciju, g[y/d] tada zadovoljava V oli(x, y) i ne zadovoljava V oli(y, y). Gledajući na
atomarni slučaj, tada < e, d > mora biti u ekstenziji V oliM , a < d, d > ne smije biti u
toj ekstenziji. Ispitajmo slučajeve (i) e = d = a otpada, (ii) e = b i d = a otpada, itd.
Jedina mogućnost je e = a i d = b. Zato je jedini način da g zadovolji zadanu isf-u u M
onaj u kome g dodjeljuje a za x.
Primjer 20.6 Struktura M s domenom D = {a, b, c}. Jezik sadrži binarni predikat
V oli čija je ekstenzija u strukturi V oliM = {< a, a >, < a, b >, < c, a >}. Proma-
tramo rečenicu: ∃x∃y(V oli(x, y) ∧ ¬V oli(y, y)). Budući da nema slobodnih varijabli,
prazno dodjeljivanje g∅ je odgovarajuće za ovu rečenicu. Po definiciji zadovoljavanja,
ova će rečenica biti istinita akko postoji predmet kojega možemo dodjeliti varijabli x
tako da rezultirajuće dodjeljivanje zadovolji ∃y(V oli(x, y) ∧ ¬V oli(y, y)). Vidjeli smo
da postoji takav predmet, a. Zato M ² ∃x∃y(V oli(x, y) ∧ ¬V oli(y, y)).
Primjer 20.7 Nastavljajući na prethodne primjere, razmotrimo rečenicu ∀x∃y(V oli(x, y)∧
¬V oli(y, y)). Zadovoljava li prazno dodjeljivanje ovu rečenicu? Ako da, onda za
svaki premet e iz domene ako dodjelimo e za x rezultirajuće dodjeljivanje g zadovol-
java ∃y(V oli(x, y) ∧ ¬V oli(y, y)). Ali to nije slučaj. zato prazno dodjeljivanje ne
zadovoljava rečenicu, pa je zato njezina negacija istinita, M ² ¬∀x∃y(V oli(x, y) ∧
¬V oli(y, y)).
Dokaz 29 Dokaz treba izraditi koristeći indukciju nad isf-ama. Osnovni korak:
Pretpostavimo da je P - R(t1 , ..., tn ), gdje je R Dn-mjesni predikat. Po
E definiciji,
M1 M1
g1 zadovoljava P u M1 ako i samo ako n-torka [[t1 ]]g1 , ..., [[tn ]]g1 ∈ M1 (R),
222 Poglavlje 20 Istina i zadovoljavanje
D E
a g2 zadovoljava P u M2 ako i samo ako n-torka [[t1 ]]M g2
2
, ..., [[t n ]]M2
g2 ∈ M2 (R).
Budući da se dvije strukture i dva dodjeljivanja vrijednosti podudaraju u pogledu
interpretacije svakog simbola koji se javlja u P , vrijedit će za svaki term ti da
[[ti ]]M M2
g1 = [[ti ]]g2 te za predikat R da M1 (R) = M2 (R). Uz potrebne primjene
1
vrijednost(x, D, I, a) = a(x)
vrijednost(c, D, I, a) = I(c)
T `S
225
226 Poglavlje 21 Pouzdanost logike prvoga reda
31
Neka su M1 i M2 strukture koje imaju istu domenu i koje dodjeljuju istu interpretaciju za
predikate i konstante u isf P . neka su g1 i g2 dodjeljivanja vrijednosti varijablama koja dodjeljuju
iste vrijednosti (predmete) za slobodne varijable u isf-i P . Tada M1 ² P [g1 ] ako i samo ako
M2 ² P [g2 ]
Poglavlje 22
Potpunost i nepotpunost
Definicija logičke posljedice je uglavnom bila semantička: S je logička posljed-
ica premisa P1 , ..., Pn ako nije moguće da premise budu istine a da pri tome
konkluzija bude neistinita. Postavlja se pitanje jesu li metode dokaza koje smo
do sada razmatrali dovoljne da dokažemo sve ono što bismo htjeli dokazati.
Možemo li biti sigurni da ćemo uvijek kada je slučaj da je S logička posljedica
premisa P1 , ..., Pn moći pronaći dokaz za S iz P1 , ..., Pn ?
Odgovor na ovo pitanje je i da i ne, ovisno o tome na koji smo način pre-
cizirali pojam logičke posljedice i ovisno o tome koji jezik promatramo.
Odgovor na naše pitanje je ’da’ ako pod pojmom logičke posljedice mislimo
posljedicu prvoga reda. Gödelov teorem potpunosti za logiku prvoga reda jamči
nam da ako je S posljedica prvoga reda skupa rečenica T , onda postoji i formalni
dokaz za S koji koristi jedino premise iz skupa T . Prvi dokaz ovakve vrste dao
je Kurt Gödel u svojoj diserataciji 1929.
Pretpostavimo, med̄utim, da koristimo neki posebni jezik prvoga reda i da
smo zainteresirani za logičku posljedicu u kojoj uzimamo u obzir i značenje
predikata iz tog jezika. Trebaju li nam dodatne metode dokazivanja? Ako da,
mogu li se one svesti na metode koje smo proučavali do sada? Ili je zamislivo da
ne postoji potpuni formalni sustav koji zahvaća pojam logičke posljedice za po-
jedine jezike? Odgovore na ta pitanja potražit ćemo u raspravi o interpretiranim
jezicima i Gödelovom dokazu nepotpunosti.
T autološkaP osljedica(S, T ) ⇒ T `T S
P osljedicaP rvogReda(S, T ) ⇒ T ` S Gödel 1928.
AnalitičkaP osljedica(S, T ) ; T ` S Gödel 1931.
228
22.1 Teorem potpunosti za logiku prvog reda 229
prvoga reda L i neka je S rečenica tog jezika. Ako je S posljedica prvoga reda
od T , onda T ` S.
Primjer 22.1 Ako je riječ o varijanti jezika iz Tarski’s World, onda će novi, prošireni
jezik imati i ovakve rečenice: (1) ∃x(M aleno(x) ∧ Kocka(x)) → (M aleno(c1 ) ∧
Kocka(c1 )), (2) ∃z(z 6= a ∧ z 6= b) → (c2 6= a ∧ c2 6= b)
Općenito, za svaku isf-u P iz jezika L koja ima točno jednu slobodnu var-
ijablu, sačinite novi simbol individualne konstante cP , pazeći pri tome da za
različite isf-e sačinite različita imena. Takva konstanta naziva se konstantom
koja svjedoči za P .
232 Poglavlje 22 Potpunost i nepotpunost
Kako možemo biti sigurni da ćemo uspjeti sačiniti različita imena za različite
formule? Ima različitih načina kojima se to može ostvariti. Jedan med̄u njima
je onaj u kojemu odabiremo novi simbol c koji nije u K i za svaku formulu s
jednom slobodnom varijablom upisujemo nju samu kao podznak.
Tako dobivamo jezik K 0 , koji koristi sve simbole jezika K i njima pridodaje
nove konstante koje svjedoče.
Primjer 22.3 U proširenom jeziku imat ćemo i ovakvu rečenicu: ∃z(z 6= c(z6=a∧z6=b) ∧
z 6= c(z6=a∧z6=b) ). No, i ta rečenica traži svoju konstantu-svjedoka. Ponavljajući postu-
pak, dobivamo c(z6=c(z6=a∧z6=b) ∧z6=c(z6=a∧z6=b) ) .
smo s beskonačnim iteriranjem postupka uspjeli urediti stvari tako da svaka isf-u
P (x) iz LH koja ima točno jednu slobodnu varijablu ima svoju konstantu koja
svjedoči cP (x) u jeziku LH . Ta nam činjenica omogućuje da sačinimo u LH
ovakve rečenice:
∃xP (x) → P (cP (x) )
Ovakva je rečenica poznata pod nazivom ’Henkinov aksiom koji svjedoči za
P (x)’. Intuitivna ideja u pozadini rečenice ∃xP (x) → P (cP (x) ): ako postoji
neki predmet koji zadovoljava P (x), onda objekt čije je ime cP (x) predstavlja
primjer (’svjedoči’ o postojanju) jednog takvog predmeta.
Dokaz 31 Osnovna ideja dokaza: ako M ² ∃xP (x), odaberimo bilo koji ele-
ment b iz domene koji zadovoljava P (x) i neka konstanta-svjedok cP (x) imenuje
taj predmet b. Ako M ² ¬∃xP (x), onda neka cP (x) imenuje bilo koji predmet
b. Na ovaj način smo pokrili aksiome tipa H1. Drugi aksiomi su logičke istine i
zato su istiniti neovisno o interpretaciji.
22.3.1 Zadaci
tip/
(Kocka(a) ∧ M aleno(a)) → ∃x(Kocka(x) ∧ M aleno(x))
Željena konkluzija slijedi nakon primjene pravila ∧ Intro i → Elim.
Teorem 44 (eliminacije) Neka je p bilo koji formalni dokaz prvoga reda s kon-
kluzijom S , koja je rečenica iz L i čije su premise rečenice P1 , ..., Pn iz jezika L
uz dodatak rečenica iz H . Tada postoji formalni dokaz p0 za S koji koristi samo
P1 , ..., Pn .
Zadatak 139 U Fitch-u otvorite Deduction theorem1.prf. Promotrite dokaz koji ima
dvije premise, označimo ih s P 1 i P 2 te konkluziju, K! Otvorite zatim Proof Deduction
Theorem.prf koji ima samo jednu premisu, P 1 i dokažite konkluziju P 2 → K! Sada
možete uvježbati dokaz teorema dedukcije: otvorite novi poddokaz s pretpostavkom P 2,
reproducirajte dokaz iz Deduction Theorem1.prf i na kraju kada u poddokazu dod̄ete do
K, zatvorite poddokaz i primjenjujući → Intro doći ćete do željenoga: P 2 → K.
Lema 47 (A) Neka je T skup rečenica iz nekog jezika prvoga reda L te neka su
P , Q i R rečenice iz L. Tada vrijedi:
1. Ako T ` P → Q i T ` ¬P → Q, onda T ` Q
2. Ako T ` (P → Q) → R, onda T ` ¬P → R i T ` Q → R
Zadatak 140 Vježba 19.16 daje primjer transformiranja dokaza po metodi ove leme.
238 Poglavlje 22 Potpunost i nepotpunost
Lema 51 Jedino što nije posve očigledno jest DeMorganov zakon.kojeg trebate
dokazati za svrhu vježbanja.
U dokazu ove leme pretpostavit ćemo da naš jezik sadrži samo simbole za
relacije i za konstante, a da ne sadrži funkcijske simbole.Dokaz ima dva dijela.
Najprije pokazujemo kako konstruirati MH polazeći od h, a zatim pokazujemo
da MH zaista čini istinitima sve one rečenica kojima h dodjeljuje vrijednost >.
U konstrukciji MH moramo učiniti tri stvari. Prvo, moramo definirati domenu
D od MH . Drugo, moramo svakom n-mjesnom predikatu R dodijeliti ekstenziju
R, tj. skup n-torki čiji su članovi elementi iz D. Treće, moramo svakom imenu c
iz LH dodijeliti neki element iz D.
Zadatak 142 Najprije ćemo pokušati izvesti jednu konstrukciju koja ne uspijeva zado-
voljiti zahtjeve, a potom je modificirati tako da postane uspješna. Neka je h proizvoljno
dodjeljivanje istinitosnih vrijednosti za jezik prvoga reda bez funkcijskih simbola. Kon-
struirajmo strukturu prvoga reda, MH na sljedeći način. Domena: domena za MH je
skup individualnih konstanti jezika o kojem je riječ. Neka je R binarni relacijski simbol
čija je ekstenzija definirana ovako:
Na kraju, interpretirajmo svaku individualnu konstantu tako da ona imenuje sebe (npr.
ako je a individualna konstanta jezika pod razmatranjem, onda MH (a) = a). Pokažite
da za svaku rečenicu, S koja ne sadrži kvantifikatore ili simbol identiteta vrijedi:
Sada treba dokazati da MH verificira sve one i samo one rečenice kojima h
dodjeljuje vrijednost >, tj. za svaku rečenicu S iz LH vrijedi da MH ² S . Za tu
svrhu koristimo indukciju na složenost rečenice S .
Za osnovni slučaj pobrinuli smo se u konstrukciji MH . Ipak treba provjeriti
jednu važnu stvar. Pretpostavimo da vrijedi [c] = [c0 ] i [d] = [d0 ]. Trebamo
pokazati da je isključena mogućnost da bude i h(R(c, d)) = > i h(R(c0 , d0 )) =
⊥. Da bi to bio slučaj, < [c0 ], [d0 ] > bi bili u ekstenziji od R jer < [c], [d] > jest.
u toj ekstenziji, a ta dva spomenuta para su jedan te isti. No tada bi h dodjelio
pogrešnu vrijednost za R(c0 , d0 ), a da to nije moguće pokazuje sljedeća lema.
Ono što komplicira stvar s obzirom na dokaz indukcijom jest to što bi bilo
koja očigledna metoda odred̄ivanja složenosti formule, recimo preko njezine
dužine ili preko broja logičkih operatora, tretirala ∀xP (x) kao formulu čija je
složenost manja od složenosti formule ∃x¬P (x). U dokazu indukcijom moramo
pokazati da nešto vrijedi za jednostavniju formulu da bismo to isto pokazali u
slučaju složenije. Zato možemo uvesti novu mjeru složenosti: za atomarne isf-
e složenost je 0, za ¬P i ∃xP složenost je za jedan veće od složenosti od P ,
složenost za P ∧ Q, P ∨ Q i P → Q za jedan je veća od maksimuma složenosti
od P i Q, za složenost formule ∀xP uzet ćemo da je za tri veća od složenosti od
P.
22.5 Henkinova konstrukcija 245
22.5.2.1 Zadaci
definirana ovako:
{< c, d >| h(R(c, d)) = >}
Na kraju, interpretirajmo svaku individualnu konstantu tako da ona imenuje
sebe (npr. ako je a individualna konstanta jezika pod razmatranjem, onda
MH (a) = a).
(a) Pokažite da za svaku rečenicu, S koja ne sadrži kvantifikatore ili simbol
identiteta vrijedi:
249
250 Poglavlje 23 Löwenheim-Skolemov teorem
² ² a⊆b
a≠b
|a|=|b|
a b
Ako su a i b skupovi s beskonačno mnogo elemenata i a je podskup od b, onda
katorovska veličina "dijela", tj. a može biti jednaka veličini "cjeline", tj. b.
Zadatak 145 Pokažite da parnih brojeva ima jednako mnogo koliko i svih prirodnih
brojeva:
|{x | x ∈ N ∧ ∃y(y ∈ N ∧ x/2 = y)}| = |N |
rečenica. Njihovi su dokazi bili izrad̄eni prije Gödelovog dokaza potpunosti, zato
se izvorni dokazi razlikuju od onoga ovdje koji se oslanja na teorem potpunosti
za logiku prvoga reda.
Figure 23.1
23.2 Skolemov paradoks 253
Dokaz 45 U jeziku PA e nalazimo simbol za odnos ’biti veći od’, ali njega
lako možemo definirati: x > y akko ∃z(z 6= 0 ∧ x = y + z). Kazati da je neki
element n iz M veći od bilo kojeg prirodnog broja znači kazati da n zadovoljava
sve isf-e:
x > 0
x > 1
x > 1+1
x > (1 + 1) + 1
..
.
n > 0
n > 1
n > 1+1
n > (1 + 1) + 1
..
.
(((1 + 1) + 1) + ... + 1)
| {z }
k
Sve takve rečenice (čiji je oblik n > k) možemo učiniti istinitima za prirodne
brojeve ako interpretiramo simbol za konstantu n kao ime za neki broj m koji
veći od najvećeg k koji se javlja u T0 u rečenici oblika n > k . Na taj način, po
teoremu kompaktnosti, cijeli skup T 0 je istinit u nekoj strukturi prvoga reda M .
Aksiomi iz T osiguravaju da M sadrži neku kopiju prirodnih brojeva (a
možda i prirodne brojeve same, ako uzmemo broj k kao interpretaciju za brojku
k). Ali struktura M takod̄er sadrži i "broj" koji je veći od svih njih.
Ovaj rezultat ne trebamo shvatiti kao zbunjujući ili zagonetan rezultat. Ono
što nam on pokazuje je činjenica da aritmetički aksiomi iskazani u jeziku logike
prvoga reda ne mogu na jednoznačan način okarakterizirati namjeravano po-
dručje rasprave. S aksiomima iskazanim u jeziku prvoga reda ne možemo isključiti
postojanje "prirodnih brojeva" (tj. članova domene) koji su beskonačno udaljeni
od nule. U jeziku prvog reda ne možemo napraviti razlikovanje izmed̄u svo-
jstva konačne udaljenosti od nule (koje imaju pravi prirodni brojevi) i svojstva
beskonačne udaljenosti od nule (koje imaju elementi poput n iz gornjeg dokaza).
Promotrimo jednostavniji primjer u kojemu koristimo jezik prvoga reda da
bismo govorili o srodničkim odnosima. Ako taj jezik ima predikat koji znači
’je predak od’, onda, ma koliko se trudili da njegovo značenje zahvatimo s ak-
siomima, nećemo uspjeti u tome. Prešutno je u pojmu ’predak’ prisutan i zahtjev
da broj posrednih srodnika (izmed̄u pretka i potomka) bude konačan. No, budući
da nema utvrd̄ene, konačne granice za "udaljenost" pretka, teorem kompaktnosti
jamči postojanje struktura u kojima će neki pretci biti beskonačno udaljeni od
potomaka.
Zadatak 147 Koliko je velika najveća struktura prvoga reda koja čini istinitima sljedeće
rečenice:1. ∀x∀y∀z[(V ećiOd(x, y)∧V ećiOd(y, z)) → V ećiOd(x, z)], 2. ∀x∀y[V ećiOd(x, y) →
¬V ećiOd(y, x)], 3. ∀x¬V ećiOd(x, x), 4. ∀x∀y[V ećiOd(x, y)∨V ećiOd(y, x)∨x = y],
5. ∀y∃5 12 xV ećiOd(x, y)
Zadatak 148 Pokažite da bilo koja struktura koja čini istinitima donje rečenice mora
biti beskonačna! 1. ∀x∀y∀z[(V ećiOd(x, y) ∧ V ećiOd(y, z)) → V ećiOd(x, z)], 2.
∀x∀y[V ećiOd(x, y) → ¬V ećiOd(y, x)], 3. ∀x¬V ećiOd(x, x), 4. ∀x∀y[V ećiOd(x, y)∨
V ećiOd(y, x) ∨ x = y], 5. ∀y∃xV ećiOd(x, y).
Zadatak 149 Neka je T skup rečenica prvoga reda. Pretpostavimo da za bilo koji
prirodni broj n, postoji struktura čija je domena veća od n koja zadovoljava T . Prim-
ijenite teorem kompaktnosti kako biste pokazali da postoji struktura s beskonačnom
domenom koja zadovoljava T !
Odgovor 52 Neka T sadrži beskonačni broj rečenice koje kažu ’postoji barem
n predmeta’, za svaki prirodni broj n. Npr. neka T obuhvaća ∀y∃xV ećiOd(x, y);
∀y∃52 xV ećiOd(x, y); ∀y∃53 xV ećiOd(x, y);...; ∀y∃5n xV ećiOd(x, y); ...Uzmimo
bilo koji podskup od T , uzmimo rečenicu s najvećim numeričkim kvantifikatorom
∃m . Taj je podskup, po pretpostavci iz zadatka, zadovoljen u strukturi koja ima
više od m predmeta. Kako T sadrži beskonačno mnogo rečenica s rastućim nu-
meričkim kvantifikatorom, on može biti zadovoljen samo na beskonačnoj domeni.
Postojanje takve strukture zagarantirano je po teoremu kompaktnosti, jer svaki
podskup ima od T ima svoj model (strukturu koja ga zadovoljava).
Odgovor 53 Neka T sadrži beskonačni broj rečenice koje kažu ’postoji barem
n predmeta’, za svaki prirodni broj n. Npr. neka T obuhvaća ∀y∃xV ećiOd(x, y);
∀y∃52 xV ećiOd(x, y); ∀y∃53 xV ećiOd(x, y);...; ∀y∃5n xV ećiOd(x, y); ...Uzmimo
bilo koji podskup od T , uzmimo rečenicu s najvećim numeričkim kvantifikatorom
∃m . Taj je podskup, po pretpostavci iz zadatka, zadovoljen u strukturi koja ima
više od m predmeta. Kako T sadrži beskonačno mnogo rečenica s rastućim nu-
meričkim kvantifikatorom, on može biti zadovoljen samo na beskonačnoj domeni.
Postojanje takve strukture zagarantirano je po teoremu kompaktnosti, jer svaki
podskup ima od T ima svoj model (strukturu koja ga zadovoljava).
Poglavlje 24
Gödelov teorem nepotpunosti
Teorem o egzistenciji nestandardnih modela za aritmetiku pokazuje svojevrsnu
nepotpunost logike prvoga reda. Mnogo temeljniji oblik nepotpunosti otkrio je
Gödel nekoliko godina nakon što je dokazao teorem potpunosti. Taj slavni rezul-
tat poznat je pod nazivom Gödelov teorem nepotpunosti. Teorem je dokazan u
radu O formalno neodlučivim stavcima Principia Mathematica i srodnih sustava
http://www.ffst.hr/~logika/undecidable/godel.htm, objavljenom 1931 u Monat-
shefte für Mathematik und Physik 38: 173-198.
Zabunu može izazvati činjenica da je Gödel najprije dokazao teorem pot-
punosti, a zatim teorem nepotpunosti. O čemu je riječ, jesu li to kontradiktorni
rezultati? Zapravo riječ je o dvije vrste "potpunosti". Podsjetimo se da teorem
potpunosti pokazuje da formalna pravila dokaza mogu na odgovarajući način
zahvatiti odnos logičke posljedice prvoga reda. Za razliku od toga, teorem nepot-
punosti pretpostavlja pojam formalne potpunosti. Skup T nazivamo formalno
potpunim ako za bilo koju rečenicu S iz jezika pod razmatranjem vrijedi ili
T ` S ili T ` ¬S . Ovo je jaki zahtjev, jer on kaže da je skup rečenica T toliko
snažan da može dati odgovor na svako pitanje koje se može postaviti za jezik pod
razmatranjem. (Na osnovi teorema pouzdanosti i teorema potupnosti, znamo da
je T formalno potpun skup akko je ili S ili ¬S posljedica prvoga reda od T ).
Početkom dvadesetog stoljeća, logičari su analizirali matematiku promatra-
jući aksiomatske teorije poput Peanove aritmetike PA i formalne sustave dokazi-
vanja, poput F . Cilj je bio doći do formalno potpune aksiomatizacije aritmetike,
koja će omogućiti da se dokažu sve i samo one rečenice koje su istinite o prirod-
nim brojevima. To je bio dio ambicioznog projekta poznatog kao Hilbertov
program, nazvan tako po svom glavnom zastupniku, Davidu Hilbertu. Svi važni
teoremi aritmetike mogli su se dokazati poomoću relativno jednostavne aksioma-
tizacije, poput PA. Štoviše, logičar M. Pressburger pokazao je njezinu ograničenu
potpunost: sve se istinite rečenice u jeziku koji ne koristi operaciju množenja
mogu dokazati pomoću odgovarajućih Peanovih aksioma.
Gödelov teorem nepotpunosti pokazao je da je takav napredak u smjeru pot-
punosti prividan, te da je cilj Hilbertovog programa nedostižan. Poseban slučaj
teorema nepotpunosti možemo iskazati na sljedeći način:
Dokaz ovog teorema, koji će biti ocrtan kasnije, pokazuje nam da je doseg
ovog rezultata mnogo širi, to jest, da se ne odnosi samo na Peanovu aksiomati-
zaciju ili na sustav dokazivanja F . Zapravo, teorem nepotpunosti pokazuje da
258
24.2 Reprezentacija 259
24.1 Kodiranje
Pokušat ćemo pratiti osnovu ideju dokaza. Ključnu ulogu ima uvid u činjenicu da
se bilo koji sustav simbola može predstaviti u nekoj shemi kodiranja. na primjer,
Morseov kod, s nizom crtica i točkica, ili jedinica i nula, može predstaviti neki
sustav simbola. S pažljivo izrad̄enim sustavom kodiranja, bilo koji niz simbola
može biti predstavljen kao niz jedinica i nula. No, taj niz jedinica i nula možemo
shvatiti i kao binarni zapis nekog broja. Zato prirodne brojeve možemo iskoristiti
u još jednoj ulozi - kao kodove za nizova simbola.
Primjer 24.1
Logički i pomoćni simboli 0 f ¬ ∨ ∀ ( )
Pridruženi broj 1 3 5 7 9 11 13
Varijable s oznakom tipa xn
Pridruženi broj pn gdje je p primbroj > 13
Slog pridruženih prirodnih brojeva n1 , n2 , ..., nk
Kod 2n1 3n2 ...pnk k gdje je pk k-ti prim broj (po veličini)
Primjer 24.2
∀x1 ¬(f x1 = 0)
Primjena definicija ∀x1 ¬∀x2 (¬x2 (f x1 ) ∨ x2 (0))
2 2 2
Kod 29 .317 .55 .79 .1117 .1311 .175 .1917 .2311 .293 .3117 .3713 .417 .4317 .4711 .531 .5713 .5913
24.2 Reprezentacija
Prvo što je Gödel pokazao bila je mogućnost predstavljanja svih važnih sintak-
tičkih pojmova (logike prvoga reda) u jeziku Peanove aritmetike. Na primjer,
sljedeći predikati se mogu predstaviti:
n je kod isf-e
n je kod rečenice
n je kod aksioma Peanove aritmetike
n i m su kodovi rečenica od kojih druga slijedi iz prve po prim-
jeni pravila ∧ Elim
n je kod dokaza u F
n je kod dokaza za rečenicu čiji je kod m
omogućuju da dokažemo sve i samo one instancijacije tih predikata koje su is-
tinite. Tako ako je p dokaz za S i n i m su njihovi kodovi, onda će formalna
verzija posljednje rečenice na našem popisu (n je kod dokaza za rečenicu čiji je
kod m) biti posljedica prvoga reda Peanovih aksioma.
∙ µ ¶¸
u1 ...un
R(x1 ...xn ) → Bew Sb r
Z(x1 )...Z(xn)
∙ µ ¶¸
u1 ...un
¬R(x1 ...xn ) → Bew N eg Sb r
Z(x1 )...Z(xn)
odred̄uje dvomjesnu funkciju nP rx koja za broj x dodjeluje n-ti po veličini prim broj
sadržan u x. Neka je x = 24. Pogledajmo neke vrijednosti. Za n = 0, 0P r24 = 0. Za
n = 1, 1P r24 je najmanji broj m koji zadovoljava sljedeće uvjete (i) m je manji od ili
jednak 24, (ii) m je prim-broj, (iii) 24 je djeljivo s m, (iv) m je veći od 0P r24. Dakle,
1P r24 = 2. Dalje dobivamo 2P r24 = 3. Još dalje, a zbog neispunjavanja uvjeta
dobivamo 3P r24 = 0, 4P r24 = 0, 5P r24 = 0 itd..
24.2 Reprezentacija 263
odred̄uje funkciju koja broju x dodjeljuje najmanji broj y takav da (i) y je manji od ili
jednak x, (ii) yP rx je veće od 0 i (iii) (y + 1)P rx = 0. Za x = 24 dobivamo l(24) = 2.
24 puta napisano f
z }| {
Primjer 24.7 Brojka f f f...0 ne označava samo broj 24. Kad je rastavimo na
proste faktore, 2 · 2 · 2 · 3, to jest 23 · 31 vidimo da ona kodira term f 0 . Funkcija l(x),
koja, vidjeli smo, za 24 dodjeljuje 2, pokazuje od koliko je simbola sačinjen izraz kojega
kodira x.
Gödel je na taj način uspio povezati dvije istine: aritmetičke istine koje
vrijede kada se brojke prtumače kao oznake za brojeve i sintaktičke istine koje
vrijede kada se brojke protumače kao oznake jezičnih izraza. Omogućavanje
čitanja istog teksta u dvjema usklad̄enim semantičkim dimenzijama, aritmetičkoj
i sintaktičkoj, vjerojatno predstavlja jedan od vrhunaca logičke misli u čitavoj
povijesti.
Ne samo da isti lik može predstavljati i patku i zeca, već i dvije priče, jedna sa
zecom i druga s patkom, mogu biti ispričane istim tekstom i to tako da je neka
rečenica iz teksta istinita u jednom tumačenju ako i samo ako je istinita u
drugom tumačenju.
Ako pratimo gradnju 46 definicija vidjet ćemo da se sve osim jedne mogu
"spustiti" do elementarne razine: one su na kraju definirane pomoću funkcije
sljedbenika ili neke konstante. A istinite tvrdnje o identičnosti i neidentičnosti
brojaka mogu se dokazati.
Primjer 24.8
264 Poglavlje 24 Gödelov teorem nepotpunosti
Lema 61 (Dijagonalna lema) Za bilo koju isf-u P (x) s jednom slobodnom var-
ijablom može se pronaći broj n koji kodira rečenicu koja tvrdi da n zadovoljava
P (x).
Primjer 24.9 Ako n = kod(P (n)), onda P (n) možemo shvatiti kao tvrdnju: Ova
rečenica ima svojstvo izraženo s P .
Peanovi aksiomi nisu nedodirljivi. Nakon što smo pronašli istinitu a ne-
dokazivu rečenicu G - možemo nju ili što mu drago dodati kao novi aksiom
da bi ona postala dokaziva. Ali na taj način nećemo izbjeći Gödelov argument,
jer on ne ovisi o slabosti PA, već o njezinoj
snazi. Sve dok su rečenice proširenog sustava T istinite i sve dok se predikat
n je kod aksioma iz T
34
Kao i prije oznakom PA označavamo Peanovu aritmetiku, ali izloženi rezltati vrijede za sve
teorije iskazane jezikom dovoljnog stupnja složenosti ili, kako je to kazao Quine, za sve teorije
iskazane jezikom koji je dovoljno snažan da iskaže vlastitu sintaksu.
24.3 Lema samoreferencije (dijagonalna lema) 267
Churchova teza nije dokaziva ali jest osporiva. Prvo bismo trebali pokazati
da je neka funkcija izračunljiva u intuitivnom smislu, što znači izložiti niz uputa
za izračunavanje njezine vrijednosti za bilo koji argument i pokazati da su te
upute efektivne. Zatim bismo trebali pokazati da ta funkcija nije izračunljiva u
35
“Koje su numeričke funkcije f : N n → N izračunljive? (. . . ) ovo je pitanje već dobilo
odgovore med̄u kojima ću izdvojiti tri: 1. f je rekurzivna funkcija (Goedel, Kleene), 2. f
se može izračunati na apstraktnom stroju (Turing, Post), 3. f se može definirati u λ- računu
bez teorije tipova (Church, Kleene). Da su ovi naslučujući odgovori istovrijedni pokazali su
Church (1936.) i Turing (1936-7.).” u Lambek, J. Programs, grammars and arguments: a
personal view of some connections between computation, language and logic, The Bulletin of
Symbolic Logic, vol.3. no.3. Sept.1997. pp.312-313
268
25.2 Opis Turingovog stroja 269
Primjer 25.1 Program koji u slučaju da 0 dijeli dva niza 1-ica upisuje 1 na mjestu 0,
zatim briše posljednju 1-icu u drugom nizu, vraća se na početak prvog niza i tada staje.
U tabličnom prikazu retci (od drugoga na dalje) pokazuju za stroj koji je u odred̄enom
stanju si u koje stanje sj prelazi i što čini ovisno o tome koji je simbol na polju koje
se čita. Radnje su: pomak udesno >, pomak u lijevo <, pisanje nekog simbola, 1, 0 ili
270 Poglavlje 25 Turingovi strojevi
Zapis ured̄enih četvorki može imati različiti redosljed. U sljedećem prikazu to će biti niz
sadašnje stanje - pročitani simbol - sljedeće stanje - radnja: s0 1s0 >, s0 0s1 1, s1 1s1 >,
s1 − s2 <, s2 1s3 −, s3 − s4 <, s4 1s4 <, s4 − s5 >.
Zadatak 152 Dizajnirajmo Turingov stroj koji čita niz 1-ica i ako je broj 1-ica paran,
piše P , a ako nije piše N .
Odgovor 55 Neka se program "vrti" za svake dvije 1-ice. Ako se takva "petlja"
ne može zatvoriti jer se naišlo na 1-icu iza koje nema druge, završimo sa sim-
bolom N . Ako se "petlja" zatvorila i više nema 1-ica, završimo sa simbolom
P.
Naime, svaki Turingov stroj je iskaziv kao konačan niz simbola u jednom
beskonačnom alfabetu (ovdje ograničavamo popis simbola na vrpci na "prazni
simbol" − i brojke)
>, <, s0 , −, 0, s1 , 1, s2 , 2, ...
Neki je niz simbola Turingov stroj akko zadovoljava sljedeće uvjete: (i) duljina
niza djeljiva je s 4, (ii) na mjestima 1, 3, 5, 7, ..., 4n + 1, 4n + 3, ... javljaju
se jedino simboli s0 , s1 , ..., (iii) na mjestima 2, 6, 10, ..., 4n + 2, ... javljaju se
jedino simboli −, 0, 1, ..., (iv) na mjestima 4, 8, 12, ..., 4n, ... javljaju se simboli
25.2 Opis Turingovog stroja 271
Figure 25.1
272 Poglavlje 25 Turingovi strojevi
>, <, −, 0, 1, ..., (v) nijedna konfiguracija36 čiji je oblik si nj sk ne javlja se više
od jednog puta u nizu simbola, gdje nj ∈ {−, 0, 1, ...}. Ako usvojimo kon-
venciju o označavanju početnog stanja (na primjer, tako da mu dodijelimo naj-
manji s-broj), moći ćemo napraviti prebrojivi beskonačni popis svih Turingovih
strojeva. Čim odredimo nabrajanje nizova simbola iz alfabeta, odredit ćemo i
nabrajanje Turing-izračunljivih funkcija. Jedan način kako to možemo izvesti
jest da svakom stroju pridružimo kod. Na primjer ovako:
> < s0 − 0 s1 1 ... n-ti simbol ...
12 122 1222 12222 122222 1222222 12222222 ... 1-ica praćena s n 2-ki
na slučajeve kada u početnom stanju nalazimo samo jedan neprekinuti niz 1-ica.
Koristeći popis Turingovih strojeva možemo sačiniti popis funkcija f1 , f2 , f3 , ...
svih Turing-izračunljivih funkcija s jednim argumentom, gdje je za svako n, fn
funkcija s jednim argumentom koju računa stroj Tn .
½
1 ako je fn (n) nedefinirano,
u(n) =
fn (n) + 1 u protivnom.
kada se pokrene u svom početnom stanju čitajući krajnji lijevi simbol u neprek-
inutom nizu od n 1-ica na drugdje praznoj vrpci. No, to nije moguće jer bi se za
niz od m 1-ica Tm morao zaustaviti ako i samo ako se nikad ne zaustavlja kada
se pokrene u svom početnom stanju čitajući krajnji lijevi simbol u neprekinutom
nizu od m 1-ica na drugdje praznoj vrpci. Ovaj će stroj, kada se primijeni na
svoj broj m, ući u beskonačnu petlju ako i samo ako se bude zaustavio; a to je
očigledno nemoguće. Ako bi bila zadovoljena pretpostavka po kojoj funkciju h
izračunava stroj H , onda bi se mogao konstruirati stroj Tm poput ovoga na slici
dolje. ’H ’ označava mjesto gdje bi se trebao naći dijagram toka za H . Cijeli
stroj Tm sadrži H kao svoj dio. Tm se zaustavlja samo ako se Tn ne zaustavlja,
to jest, ako je h(n, n) = 1.
Primjer 26.1 (i) OP , (ii) OP → P , (iii) OP → OOP . Prethodne tri rečenice mogle
bi poslužiti kao prikaz logičkog oblika sljedećih nizova rečenica. (Ai) Djelatnik zna da
je slučaj da P , (Aii) Ako djelatnik zna da je slučaj da P , onda je slučaj da P , (Aiii) Ako
djelatnik zna da je slučaj da P , onda on zna da zna da je slučaj da P . (Bi) Nužno je
slučaj da P , (Bii) Ako je nužno slučaj da P , onda je slučaj da P , (Biii) Ako je nužno
slučaj da P , onda je nužno da je nužno slučaj da P . (Ci) Djelatnik čini da bude slučaj da
P , (Cii) Ako djelatnik čini da bude slučaj da P , onda je slučaj da P , (Ciii) Ako djelatnik
čini da bude slučaj da P , onda on čini da bude slučaj da on čini da bude slučaj da P .
(Di) Djelatnik želi da bude slučaj da P , (Dii) Ako djelatnik želi da bude slučaj da P ,
onda je slučaj da P , (Diii) Ako djelatnik želi da bude slučaj da P , onda on želi da bude
slučaj da on želi da bude slučaj da P . Itd.
Primjer 26.2 Ako O interpretiramo kao logički je nužno da, onda moramo ubrojiti
svaki kontekst. Tada bismo rekli da je rečenica OP istinita u kontekstu k upravo onda
kada je P istinito u svakom mogućem kontekstu k 0 .
Primjer 26.3 Ako O interpretiramo kao prirodna je nužnost da, onda izgleda da
ako hoćemo odrediti istinitost OP u kontekstu k, moramo ubrojiti sve one i samo one
kontekste k0 u kojima vrijede isti prirodni zakoni kao u k.
Primjer 26.4 Ako O interpretiramo kao jednom je bio slučaj da, onda izgleda da
su za odredbu istinitost OP u kontekstu k relevantni samo oni konteksti k0 koji vremenski
prtohode k-u.
279
280 Poglavlje 26 Osnovne ideje modalne logike
Zadatak 154 Iskažite sljedeće rečenice kao formule propozicijske modalne logike:
(a) Moguće je da me ne razumiješ, ali to nije nužno. (b) Moguće je da ako bi mogla
padati kiša, onda kiša pada.
Primjer 26.5
26.1.2.1 Valjanost
što je zapravo komplicirani način iskazivanja uvjeta simetričnosti: ∀y (R(x, y) → R(y, x)).
Relaciju koja je refleksivna, tranzitivna i simetrična nazivamo relacijom ekviva-
lencije. Gorespomenuti aksiomi pokazuju da modalna logika S5 karakterizira
okvire u kojima je relacija dostupnosti relacija ekvivalencije. Smijemo iz S5
modela odstraniti kopije svjetova jer možemo zanemariti relaciju dostupnosti i
definirati modalitet VM,w (¤P ) = > akko za svako w Vw (P ) = >.
286 Poglavlje 26 Osnovne ideje modalne logike
Primjer 26.8
1 (1) P ∧ Q pretpostavka
1 (2) P ∧Elim, 1
(3) (P ∧ Q) → P → Intro, 1,2
(4) ¤((P ∧ Q) → P ) ¤Intro,3
(5) ¤((P ∧ Q) → P ) → (¤(P ∧ Q) → ¤P ) aksiom
(6) ¤(P ∧ Q) → ¤P → Elim, 4,5
Primjer 26.9 Promotrimo sljedeće rečenice ’Možda pada kiša, ali kiša ne pada’ i
’Kiša pada ali mogao je biti slučaj da ne pada’.
v m. R (w, v)
..
.
n. v : P
o. w : ¤P ¤Intro: m-n
v je novi indeks i on se ne pojavljuje izvan poddokaza u kojemu je uveden.
(Subsubsubsubsection head:)¤Elim
m. w : ¤P
..
.
n. w : P ¤Elim: m
(Subsubsubsubsection head:)¦Intro
m. v : P
..
.
n. R (w, v)
..
.
o. w : ¦P ¦Intro: m,n
(Subsubsubsubsection head:)¦Elim
l. w : ¦P
v m. R (w, v)
n. v:P
..
.
o. u : Q
p. u : Q ¦Elim:l,m-o
v je novi indeks i on se ne pojavljuje izvan poddokaza u kojemu je uveden.
m. R (w, v)
..
.
n. R (v, u)
..
.
o. R (w, u) 4-tranzitivnost: m,n
B logika
n. R (w, v)
..
.
o. R (v, w) B -simetričnost: n
D logika (¤P → ¦P )
..
.
o. R (w, f (w)) D-serijalnost
Na sličan se način dodaju po potrebi ostala svojstva okvira koja neki aksiom
karakterizira (u okviru logike prvoga reda).
26.2.2.1 Obilježena prirodna dedukcija za propozicijsku logiku
291
292 Poglavlje 27 Zadaci
7. (***) Otvorite Ramsey’s Sentences. Izgradite svijet koji čini istinitim svih
20 rečenica koristeći samo 6 tijela!
8. Otvorite Arnault’s Sentences i izgradite svijet u kojem su sve rečenice
istinite!
9. (Logička neovisnost) Otvorite Buridan’s Sentences. Pokažite da je rečenica
∃x∃y(x 6= y ∧ T et(x) ∧ T et(y) ∧ M edium(x) ∧ M edium(y))
neovisna o "Buridanovim" rečenicama, tj. da ni ona niti njezina negacija nije
njihova posljedica. Neovisnost ćemo ustanoviti tako što ćemo izgraditi dva
svijeta u kojem će sve "Buridanove" rečenice biti istinite dok će u jednom od
njih zadana rečenica biti istinita a u drugom neistinita.
10. (Rečenice koje trebamo parafrazirati prije prijevoda) Prevedite zadane
rečenice na jezik logike prvoga reda! Provjerite svoj prijevod: u Ron’s World
sve rečenice trebaju biti istinite, u Bolzano’s World samo je 3. rečenica
istinita, u Wittgenstein’s World samo je 5. rečenica istinita.
(a) Jedino veliki predmeti nemaju ništa ispred sebe.
(b) Ako neka kocka ima nešto ispred sebe, onda je ta kocka malena.
(c) Svaka kocka koja je iza nekog dodekaedra manja je od njega.
(d) Ako je predmet e izmed̄u dva predmeta, ta dva predmeta su malena.
(e) Ako je tetraedar izmed̄u dva predmeta, ta dva predmeta su malena.
11. Izvedite zadane ekvivalencije koristeći poznata načela kvantifikacije.
(a) ∀xP → Q ⇔ ∃x(P → Q) ako x nije slobodan u Q
(b) P → ∃xQ ⇔ ∃x(P → Q) ako x nije slobodan u P .
12. Otvorite Jon Russell’s Sentences. Na slobodnim mjestima (označenim
parnim brojevima) zapišite prethodnu rečenicu u preneksnoj normalnoj
formi. Provjerite ispravnost vrednujući rečenice u različitim svjetovima!
13. Izradite koristeći Fitch dokaze za sljedeće valjane rečenice prvoga reda.
Podsjetite se da dokazima valjanih rečenica ne koristimo niti jednu premisu.
(a) (nulta kvantifikacija) ` Kocka(b) ↔ ∀xKocka(b)
(b) ` ∃x(P (x) → ∀xP (x))
(c) ` ¬∃x∀y[R(x, y) ↔ ¬R(x, y)]
14. Otvorite (koristeći Tarski’s World) Padoa’s Sentences.
(a) Dokažite da bilo koje tri rečenice od zadanih četiri tvore zadovoljiv
skup rečenica. Da biste dokazali prethodnu tvrdnju za četiri skupa
rečenica izgradite četiri svijeta takva da je u njima svaka rečenice iz
odgovarajućeg skupa istinita. Rješenje predajte pod nazivima 2.123.wld,
2.124.wld, 2.134.wld, 2.234.wld.
(b) Dokažite na neformalan način da četiri rečenice iz prethodnog zadatka
(Padoa’s Sentences) nisu konzistentne (tj. da nije moguće da sve budu
istodobno istinite)!
15. Koristeći Tarski’s World pronad̄ite prijevode na jezik logike prvoga reda za
rečenice a-e. Za svrhu provjere prijevoda dobro je koristiti na "Keyboard"-u
ponud̄ene oznake predikata. Čini se da ćete za e. morati upotrebiti jednu
rečenicu iako se u prirodnom jeziku javljaju dvije (jer jedino tako možemo
293
varijanta1 varijanta2
univerzalno afirmativni sud
univerzalno negativni sud ∀x(S(x) → ¬P (x)) s⊆d−p s∩p=∅
partikularno afirmativni sud
partikularno negativni sud
1.T ` T (R ∧ S) akko T `T R i T `T S
2.T ` T (R ∨ S) akko T `T R ili T `T S
3.T ` T ¬S akko T 0T S
4.T ` T (R → S) akko T 0T R ili T `T S
5.T ` T (R ↔ S) akko bilo T `T R i T `T S bilo T 0T R i T 0T S "
(b) Rečenice (i), (iv) i (v) iskažite u prirodnom jeziku pazeći pri tome da
Vaš prijevod poštuje sljedeća ograničenja: prijevod za (i) ne smije biti
pogodbena rečenica, prijevod za (iv) ne smije biti složena rečenica,
prijevod za (v) ne smije sadržavati više od četri riječi.
(c) Izgradite svijet u kojem će sve rečenice i-vii (navedene na početku
zadatka) biti istinite. Rješenje upišite u tablici tako da u polju na kojem
se nalazi neki predmet upišete njegov skraćeni opis i njegovo ime ako ga
predmet ima. Na primjer, skraćeni opis za veliku kocku, čije je ime c i
koja se nalazi u prvom retku i krajnjem desnom stupcu, upisali bismo u
tablicu ovako:
VKc
50. Izradite dokaze za sljedeće valjane rečenice prvoga reda. Podsjetite se
da u dokazima valjanih rečenica ne koristimo niti jednu premisu. [U
dokazima smijete koristiti samo pravila za uvod̄enje i uklanjanje te pravilo
reiteracije. Jedino u dokazu za 2.d. smijete koristiti tautološke posljedice i
DeMorganove zakone za kvantifikatore.]
(a) ` ∀x(S(x) → P (x)) ↔ ∀x(¬P (x) → ¬S(x))
(b) ` ¬∃x∀y[R(x, y) ↔ ¬R(x, y)]
(c) ` ¬∀xP (x) → ∃x¬P (x)
(d) ` ∃x(P (x) → ∀xP (x)) [Savjet: oslonite se u dokazu na zakon
isključenja trećeg, ∀xP (x) ∨ ¬∀xP (x)]
51. Dokažite bilo na formalan ili na neformalan način tvrdnju: "Neka su a i
b proizvoljni skupovi. Ako a ⊂ b, onda a ∩ b = a"! U dokazu ćete se
morati osloniti na aksiom ekstenzionalnosti (zbog identitetne rečenice u
konzekvensu), te na definicije za ∩ i ⊆.
52. Dokažite sljedeću tvrdnju koja govori o odnosu dokazivosti: "Neka je T
formalno konzistentan i formalno potpun skup rečenica, te neka su R i S
proizvoljne rečenice u jeziku logike prvoga reda. Tada vrijedi
(i) T ` ¬S akko T 0 S
(ii).T ` (R → S) akko T 0 R ili T ` S ."
299
T `T (R → S) akko T 0T R ili T `T S !
61. Protumačite prvi Spinozin aksiom na četiri različita načina i ispitajte njegovu
zadovoljivost te očuvanje razgovorne implikature u danom tumačenju!
[Podsjetnik: Ako rečenica koju govornik tvrdi sa sobom donosi i sugestiju koja se može
ukinuti (bez izazivanja kontradikcije) dodatnim govornikovim izrekama, onda se ta sugestija
naziva razgovornom implikaturom i ona se ne promatra kao dio sadržaja izvorne rečenice.] U
prvom tumačenju pretpostavite da binarni predikat U zadovoljava uvjet
∀x∃y(x =
6 y ∧ U (x, y))
¬∀x∃y(x = 6 y ∧ U (x, y))
Svijet 1.
303
38
Svijet 2.
VK
38
(i) ⊥
(ii) ⊥
(iii) ⊥
(iv) >
(v) >
(vi) ⊥
(vii) ⊥
(viii) ⊥
(ix) ⊥
(x) >
39
(ii) Nijedna kocka koja je iza nekog tetraedra nije ni velika niti srednje velika. (viii) Svi su
predmeti jednake veličine.
304 Poglavlje 27 Zadaci
40
40
MK
MD
MT
41
Na primjer, ako je neki binarni predikat P refleksivan u uobičajenom tumačenju, to se
svojstvo mora "vidjeti" i u njegovoj ekstenziji M(P ); tj. tada mora vrijediti
42
Elementima domene dodijelite proizvoljne oznake.
(i) M(∀) = {o1 , o2 , o3 }
(ii) M(=) = {ho1G, o1 i , ho2H, o2 i , ho3 , oG
3 i} H
(iii) M(Iza) = { o2 , o1 , ho3 , o1 i , o3 , o2 }
43
(iv) M(IsteV eličine) = {ho1 , o1 i , ho2 , o2 i , ho3 , o3 i , ho1 , o2 i , ho1 , o3 i , ho2 , o1 i , ho2 , o3 i , ho3 , o1 i , ho3 , o2 i}
(v) M(Dodekaedar) = { o2 }
G H G H
(vi) M(Izmedju) = { o2 , o1 , o3 , o2 , o3 , o1 }
44
(i) Ne
(ii) Ne
(iii) Ne
(iv) V
(v) V
(vi) Ne
(vii) Ne
(viii) Ne
(ix) Ne
(x) V T
305
45
46
306 Poglavlje 27 Zadaci
dokaz!
47
48
¬∃x(P (x) → ∀yP (y)) je nezadovoljiva rečenica; ∃x(P (x) → ∀yP (y)) je valjana.
Objašnjenje. *(¬∃x(P (x) → ∀yP (y)) je nezadovoljiva)* Pretpostavimo da {¬R} ` R.
Trebamo dokazati da je ¬R nezadovoljiva rečenica, a R valjana rečenica. Pretpostavimo da je ¬R
zadovoljiva rečenica. Po definiciji zadovoljivosti, tada postoji struktura prvog reda M takva da
M ² ¬R. Po teoremu pouzdanosti, ako {¬R} ` R, onda {¬R} ² R. Budući da lijeva strana
vrijedi po pretpostavci, vrijedi {¬R} ² R, tj. da je R posljedica prvog reda od ¬R. Budući da je
¬R zadovoljiva, dodjelimo ime strukturi u kojoj je ta rečenica istinita M1 ² ¬R. No po definiciji
posljedice prvog reda, tada M1 ² R. No po definiciji zadovoljavanja nije moguće da bude slučaj
da i M1 ² ¬R i M1 ² R. Uspostavljena kontradikcija pokazuje da pod pretpostavkom
307
{¬R} ` R ne može biti slučaj da je ¬R zadovoljivo. *(∃x(P (x) → ∀yP (y)) je valjana)
Negacija nezadovoljive rečenice je valjana rečenica. Za svrhu vježbe, dokažite to.
49
Zato je prirodni način za interpretiranje generaliziranog kvantifikatora onaj koji ga tretira kao
binarnu relaciju na ℘M (∀).
50
Svijet 1. Svijet 2.
[*]
(b) Rečenice (iii), (v) i (vi) iskažite što "prirodnije" u prirodnom jeziku!
(c) [*] Nalazite li med̄u zadanim rečenicama neke koje su logičke
(analitičke) istine ili su rečenice koje su istinite u bilo kojem T arski
svijetu? Ako da, navedite ih!
(d) [Cjelovito rješenje!] Koristeći najmanji potrebni broj predmeta odredite
"svijet" u kojemu će sve zadane rečenice biti istinite i prikažite ga u
tablici tako da u polju na kojem se nalazi neki predmet upišete skraćeni
opis njegove veličine: m(alen), s(rednji), v(elik), i njegovoga oblika:
d(odekaedar), k(ocka), t(etraedar)! Na primjer, ’vk’ je skraćeni opis za
311
veliku kocku.
T 2L S i T `L S ?