Tautologije i valjane formule kao principi zaključivanja

UNIVERZITET U TUZLI
ˇ
PRIRODNO-MATEMATICKI
FAKULTET
Nermin Okiˇci´c
Tautologije i valjane formule kao principi
zakljuˇ
civanja
- Radni materijal -
Lukavac, 2015.
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Sadrˇ
zaj
1 Logiˇ
cki veznici
1
2 Logiˇ
cke operacije
4
3 Tautologije
5
4 Kvantifikatori
8
5 Predikatska logika
10
6 Odnosi medu predikatskim reˇ
cenicama
13
6.1 Logiˇcki kvadrat . . . . . . . . . . . . . . . . . . . . . . . . 19
Literatura
21
i
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Predgovor
Logika je nauka o logosu, pri cˇ emu se pod logosom podrazumijeva
govor, rijeˇc, smisao izraˇzen rijeˇcima, pojam duha ili misao. Najuobiˇcajenije shvatanje logike je da je to nauka o miˇsljenju, o poretku
misli ili o poretku razuma. Pri tome se pretpostavlja ili podrazumijeva da se razum ponaˇsa po nekim pravilima, a ta pravila su upravo
logiˇcka pravila. Za logiku kaˇzu da je filozofska disciplina koja se
bavi oblicima valjane misli (G. Petrovi´c) ili da je to disciplina koja
se bavi naˇcelima dosljednog zakljuˇcivanja. Pri tome dosljednost u
zakljuˇcivanju ne treba da zavisi samo o znaˇcenju reˇcenica i rijeˇci,
koje mogu cˇ ak biti i nepoznate. Logiˇcka dosljednost je neˇsto sasvim
apstraktno i treba da se tiˇce same forme i oblika. Zbog toga je logika
formalna nauka.
ˇ
Sta
je matematiˇcka logika? Da li je matematiˇcka logika primjena
matematike prilikom logiˇckih zakljuˇcivanja, ili je neka ”stroˇzija” primjena logike prilikom matematiˇckih dokaza? Da li je matematika
dio logike, ili obratno, ne slaˇzu se ni svi logiˇcari u odgovoru. Intuicionisti smatraju da su matematiˇcke konstrukcije osnova, a logiˇcko
rasudivanje je sekundarno, dok logicisti smatraju da se matematika zasniva na logici tojest, matematika je grana logike. Jedno je
sigurno: matematiˇcka logika je jedna od matematiˇckih teorija. Neki
njeni veliki dijelovi su: teorija skupova, teorija modela, teorija dokaza, teorija rekurzije itd.
Ono sˇ to matematiku izdvaja od drugih disciplina jeste koriˇstenje
dokaza kao glavnog alata za odredivanje istine. Pri tome se naravno
ˇ je dokaz?”. Praktiˇcno govore´ci, dokaz je bilo
postavlja pitanje ”Sta
koji rezonski argument koga prihvataju i drugi matematiˇcari. Naravno da je preciznija definicija dokaza neophodna kako bi smo neki
matematiˇcki rezon htjeli ili nehtjeli prihvatiti. Ovo predstavlja jedan
od osnovnih razloga izuˇcavanja matematiˇcke logike.
Matematiˇcka logika se bavi formalizacijom i analizom vrsta rezonovanja koje koristimo u ostalim dijelovima matematike. Zadatak
matematiˇcke logike nije pokuˇsaj bavljenja matematikom per se potpuno formalno, nego izuˇcavanje formalnih logiˇckih sistema kao matematiˇckih objekata u njihovoj sopstvenoj zakonitosti, radi dokazivanja cˇ injenica o njima.
Jedan dio problema formalizacije matematiˇckog rezonovanja je nuˇzno
vezan za preciznu specifikaciju jezika u kojem radimo. Govorni jezici su i odviˇse kompleksni i ”ˇzivu´ci”, podloˇzni stalnim promjenama,
te su kao takvi teˇsko upotrebljivi u matematici. Za razliku od njih,
jezici formalne logike su kao i programski jezici, strogo odredeni,
jednostavni i fleksibilni, te c´ e jedan od zadataka matematiˇcke logike
ii
ˇ
ELEMENTI MATEMATICKE
LOGIKE
upravo biti utvrdivanje jezika, kao i naˇse opismenjavanje u okviru
istog.
Formalni logiˇcki sistemi zahtjevaju paˇzljivu specifikaciju dozvoljenih pravila rezonovanja, kao i neke ideje o interpretaciji tvrdenja
iskazanih u datom jeziku i utvrdivanju njihovih istinitosti. Upravo
veze izmedu interpretacije tvrdenja, istinitosti i rezonovanja su kvantitativno i kvalitativno stvarna vrijednost ove discipline.
iii
ˇ
ELEMENTI MATEMATICKE
LOGIKE
1 Logiˇ
cki veznici
Definicija 1
Negacija je unarni veznik. Negacija iskaza p, je iskaz ”nije p”,
koga oznaˇcavamo sa ”¬p”.
Negacija taˇcnog iskaza je netaˇcan iskaz i obrnuto, negacija
netaˇcnog iskaza je taˇcan iskaz.
Primjer 1. Ako je iskaz p taˇcan, tada je prema definiciji negacije
iskaz ¬p netaˇcan i obrnuto, ako je iskaz p netaˇcan, tada je iskaz ¬p
taˇcan. Negacija iskaza
q : 2+2=3 ,
je iskaz ”¬q : ¬ ( 2 + 2 = 3 )”, odnosno u matematiˇckoj terminologiji
iskazano
¬q : 2 + 2 6= 3 .
Iskaz q je netaˇcan, pa je iskaz ¬q taˇcan. ♦
Definicija 2
Konjukcija je binarni veznik. Konjukcija iskaza p i q je iskaz ”p
i q”, u oznaci ”p ∧ q”.
Iskaz p ∧ q je taˇcan ako i samo ako su istovremeno i p i q taˇcni
iskazi.
Primjer 2. Neka su dati iskazi:
p : ”Kiseonik cˇ ini vodu.”,
q : ”Sumpor cˇ ini vodu.”
r : ”Vodonik cˇ ini vodu.”.
Iskazi p i r su taˇcni, a iskaz q je netaˇcan. Tada je iskaz p∧q, ”Kiseonik
cˇ ini vodu i sumpor cˇ ini vodu.” ili kra´ce, ”Kiseonik i sumpor cˇ ine
vodu.”, netaˇcan iskaz jer je iskaz q netaˇcan. Iskaz p ∧ r, ”Kiseonik i
vodonik cˇ ine vodu.”, je taˇcan iskaz jer su oba iskaza koji u njemu
uˇcestvuju taˇcni iskazi. ♦
Definicija 3
Disjunkcija je binarni veznik. Disjunkcija iskaza p i q je iskaz
”p ili q”, u oznaci ”p ∨ q”.
Iskaz p ∨ q je taˇcan iskaz ako i samo ako je bar jedan od iskaza p
i q taˇcan, odnosno on je netaˇcan ako i samo ako su oba iskaza
1
ˇ
ELEMENTI MATEMATICKE
LOGIKE
netaˇcna.
Primjer 3. Za iskaze iz prethodnog primjera, iskaz p ∨ q,
”Kiseonik ili sumpor cˇ ini vodu”,
je taˇcan zbog taˇcnosti iskaza p. Ako uvedemo i iskaz s : ”Fosfor cˇ ini
vodu”, tada c´ e disjunkcija q ∨ s,
”Sumpor ili fosfor cˇ ini vodu”,
zbog netaˇcnosti oba iskaza, biti netaˇcan iskaz. ♦
Definicija 4
Iskljuˇcna disjunkcija ili ekskluzivna disjunkcija je binarni veznik. Iskljuˇcna disjunkcija iskaza p i q je iskaz ”ili p ili q” i
oznaˇcavamo je sa p ⊻ q.
Iskaz p⊻q je taˇcan iskaz ako i samo ako je taˇcno jedan od iskaza
p i q taˇcan.
Primjer 4. Neka su dati iskazi p i q sa:
p : ”π je racionalan broj”
q : ”π je broj ve´ci od 1”
Iskaz p ⊻ q, ”Ili je broj π racionalan broj ili je on ve´ci od 1”, je taˇcan
iskaz jer je iskaz p netaˇcan, a iskaz q taˇcan.
Iskaz ¬p dat je sa ”π nije racionalan broj” i on je taˇcan iskaz (jer je
p netaˇcan iskaz). Tada je iskaz ¬p ⊻ q, ”ili π nije racionalan ili je on
ve´ci od 1”, je netaˇcan iskaz jer su oba iskaza taˇcna. ♦
Definicija 5
Implikacija je binarni veznik. Implikacija iskaza p i q je iskaz
”ako p onda q”, koga oznaˇcavamo sa p ⇒ q.
Iskaz p ⇒ q je netaˇcan ako i samo ako je iskaz p taˇcan, a iskaz
q netaˇcan.
Iskaz p u implikaciji p ⇒ q nazivamo pretpostavka, premisa ili antecedent, a iskaz q nazivamo zakljuˇcak, konkluzija ili konsekvent.
Primjer 5.
Ako je danas utorak onda je sutra srijeda.
{z
} |
{z
}
|
premisa
konkluzija
2
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Soba je osvijetljena ako upalimo f enjer.
{z
} |
{z
}
|
konsekvent
antecedent
♦
Iskaz p ⇒ q cˇ itamo joˇs kao: ”iz p slijedi q”, ”p povlaˇci q”, ”p samo ako
q”, ”q ako p”, ”p je dovoljan za q”, ”q je potreban za p” i sl.
Primjer 6. Primjeri iskazivanja reˇcenice oblika p ⇒ q:
Iz uslova da su katete trougla iste slijedi da je trougao jednakokrak .
|
{z
}
|
{z
}
p
q
Rast cijena povlaˇci smanjenje standarda.
|
{z
}
|
{z
}
p
q
Jedrenjak plovi samo ako ima vjetra.
|
{z
}
|
{z
}
p
q
V jetar duva ako jedrenjak plovi.
|
{z
}
|
{z
}
q
p
Za odlazak
{zna more}, dovoljno je |imati 1000
{z KM}.
|
q
p
1000
Za odlazak
|
|
{zna more} potrebno je imati
{z KM.} ♦
p
q
Primjer 7. Neka osoba svakog jutra kada se probudi izgovori reˇcenicu:
”Ako je danas subota, onda je sutra petak.”
Za koje dane u sedmici je iskaz ove osobe taˇcan?
Ako dotiˇcna osoba ovu reˇcenicu izgovori naprimjer u utorak, jasno
je da ima pravo, tj. ”Ako je danas subota”, sˇ to nije, ”onda je sutra
petak”, sˇ to takode nije. Dakle, ako je danas ”netaˇcno”, onda i sutra
moˇze biti ”netaˇcno”. Spomenuta osoba je u pravu za svaki dan
osim u subotu jer kada izgovara svoju tvrdnju u subotu, ”ako je
danas subota”, sˇ to je taˇcno, ”onda je sutra petak”, sˇ to je netaˇcno jer
sutra mora biti nedjelja, cˇ itava reˇcenica ima oblik ”iz taˇcnog slijedi
netaˇcno” pa je ona netaˇcna. ♦
Definicija 6
Ekvivalencija je binarni veznik. Ekvivalencija iskaza p i q je
iskaz ”p ako i samo ako q”, u oznaci p ⇔ q.
Iskaz p ⇔ q je taˇcan ako i samo ako su iskazi p i q iste istinitosti,
tj. ako i samo ako su istovremeno oba taˇcni ili oba netaˇcni.
Primjer 8. Reˇcenice
p: ”Dva trougla su podudarna.”
3
ˇ
ELEMENTI MATEMATICKE
LOGIKE
q: ”Dva trougla imaju podudarnu stranicu i uglove koji nalijeˇzu
na tu stranicu.”
su ekvivalentni iskazi i tu cˇ injenicu nalazimo kao jedan od vaˇznih
stavova geometrije, iskazanu kao pravilo podudarnosti USU. ♦
2 Logiˇ
cke operacije
Logiˇcke operacije oznaˇcavamo isto kao i odgovaraju´ce logiˇcke veznike jer su njima i motivisane. Medutim, to ipak nisu isti pojmovi;
znak ∧ u iskaznoj formuli p ∧ q je zamjena za veznik ”i” dok znak ∧
u donjoj tablici oznaˇcava operaciju na skupu {⊤, ⊥}.
⊤
⊥
¬
⊥
⊤
∧
⊤
⊥
⊤
⊤
⊥
⊥
⊥
⊥
∨
⊤
⊥
⊤
⊤
⊤
⊥
⊤
⊥
⇒
⊤
⊥
⊤
⊤
⊤
⊥
⊥
⊤
⇔
⊤
⊥
⊤
⊤
⊥
⊥
⊥
⊤
Slika 1: Logiˇcke operacije
Definicija 7
Dodijeljivanje istinitosnih vrijednosti iskaznim slovima koja uˇcestvuju u formuli A nazivamo interpretacija formule A.
• ako formula ima samo jedan iskaz (jedno iskazno slovo), mogu´ce
vrijednosti tog iskaza su ⊤ i ⊥, te interpretacija te formule ima
ukupno dvije.
• ako formula sadrˇzi dva iskaza, mogu´ce vrijednosti tih iskaza
u paru su (⊤, ⊤), (⊤, ⊥) , (⊥, ⊤) i (⊥, ⊥), te interpretacija ima
ukupno cˇ etiri.
• ako formula sadrˇzi tri iskaza, mogu´ce vrijednosti tih iskaza su
sljede´ce uredene trojke: (⊤, ⊤, ⊤), (⊤, ⊤, ⊥), (⊤, ⊥, ⊤), (⊥, ⊤, ⊤),
(⊤, ⊥, ⊥), (⊥, ⊤, ⊥), (⊥, ⊥, ⊤) i (⊥, ⊥, ⊥), te interpretacija ima
ukupno osam.
Generalno, u sluˇcaju da formula sdrˇzi n iskaznih slova, broj odgovaraju´cih razliˇcitih n-torki je 2n , tojest razliˇcitih interpretacija te
formule moˇze biti 2n .
Primjer 9. Neka je data iskazna formula A : (p ⇒ q) ∧ ¬p ⇔ ¬q.
Uzmemo li da je τ (p) = ⊤ i τ (q) = ⊥, dobijamo jednu (od mogu´cih
cˇ etiri) inerpretaciju formule A, (⊤ ⇒ ⊥) ∧ ¬⊤ ⇔ ¬⊥.
4
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Za drugi izbor istinitosnih vrijednosti iskaznih slova, τ (p) = ⊤ i
τ (q) = ⊤ dobijamo drugu interpretaciju (⊤ ⇒ ⊤) ∧ ¬⊤ ⇔ ¬⊤. ♦
3 Tautologije
Medu svim iskaznim formulama iskazne algebre, jedne imaju posebnu vaˇznost.
Definicija 8
Formula F je tautologija ako u svakoj svojoj interpretaciji ima
taˇcnu vrijednost.
Sada c´ emo dati spisak poznatijih tautologija sa njihovim imenima.
1. Zakon iskljuˇcenja tre´ceg - Tertium non datur
p ∨ ¬p .
Ovaj zakon je fundamentalan jer na njemu poˇciva klasiˇcna logika, tj. logika u kojoj su jedine mogu´ce istinitosne vrijednosti
taˇcno i netaˇcno.
2. Zakon neprotivurijeˇcnosti
¬(p ∧ ¬p) .
Tautoloˇ
ske implikacije
3. Zakon odvajanja - Modus ponendo ponens ili kra´ce Modus ponens (koji tvrdi)
p ∧ (p ⇒ q) ⇒ q .
Prepriˇcano, on tvrdi da ako vaˇzi p i ako iz p slijedi q (p ⇒ q) onda
zakljuˇcujemo da vaˇzi i q, sˇ to je osnovni princip deduktivnog
zakljuˇcivanja.
4. Modus tollendo tollens (koji negira)
¬q ∧ (p ⇒ q) ⇒ ¬p .
Ovim zakonom se temelji princip opovrgavanja. On u suˇstini
ima sljede´ce znaˇcenje: ako smo iz neke pretpostavke (ovdje p)
zakljuˇcili pogreˇsan zakljuˇcak (ovdje q), onda nam je pretpostavka pogreˇsna. Ovaj metod je izuzetno primjenljiv u raznim
empirijsko-deduktivnim naukama.
5
ˇ
ELEMENTI MATEMATICKE
LOGIKE
5. Modus ponendo tollens (koji tvrdi i negira)
¬(p ∧ q) ∧ p ⇒ ¬q .
6. Modus tollendo ponens (koji negira i tvrdi)
¬p ∧ (p ∨ q) ⇒ q .
7. Zakon pojednostavljivanja
p∧q ⇒p .
8. Zakon dodavanja
p⇒p∨q .
9. Zakon hipotetiˇckog silogizma (tranzitivnost implikacije)
(p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r) .
10. Zakon nabrajanja
((p ⇒ r) ∧ (q ⇒ r)) ⇒ ((p ∨ q) ⇒ r)
11. Zakon svodenja na apsurd - Reductio ad absurdum
(p ⇒ (q ∧ ¬q)) ⇒ ¬p .
Ovaj zakon cˇ esto koristimo u matematiˇckim dokazima. Naime,
ako iz neke pretpostavke slijedi kontradiktornost (q ∧ ¬q) onda
nije dobra pretpostavka, tj. vaˇzi suprotno od pretpostavke.
12. Istina iz proizvoljnog - Verum ex quolibet
p ⇒ (q ⇒ p) .
13. Iz laˇznog proizvoljno - Ex falso quolibet
¬p ⇒ (p ⇒ q) .
Ovaj zakon pokazuje da ako bi neka teorija bila protivrijeˇcna,
tj. ako bi u njoj mogli na´ci kontradikciju, onda ona ne bi
bila besmislena samo zbog te cˇ injenice, nego i zbog toga sˇ to
bi svako tvrdenje u toj teoriji bilo teorema.
14. Pirsov zakon
((p ⇒ q) ⇒ p) ⇒ p .
6
ˇ
ELEMENTI MATEMATICKE
LOGIKE
15. Zakon zakljuˇcivanja iz suprotnog - Ex contrario
(¬p ⇒ p) ⇒ p .
I ovaj zakon cˇ esto koristimo u matematiˇckim dokazima. Naime, ako pretpostavimo da neki iskaz ne vaˇzi i iz toga zakljuˇcimo da on ipak mora da vaˇzi, onda iz svega toga zakljuˇcujemo
da taj iskaz mora biti taˇcan. U suˇstini on se svodi na Zakon
svodenja na apsurd jer iskazi ¬p i ¬p ⇒ p zajedno daju kontradikciju.
Tautoloˇ
ske ekvivalencije
16. Zakon dvojne negacije
¬¬p ⇔ p
17. Zakon kontrapozicije
(p ⇒ q) ⇔ (¬q ⇒ ¬p) .
18. De Morganovi zakoni
¬(p ∧ q) ⇔ ¬p ∨ ¬q ; ¬(p ∨ q) ⇔ ¬p ∧ ¬q .
19. Zakoni ekvivalencije za implikaciju, disjunkciju i konjukciju
(p ⇒ q) ⇔ ¬p ∨ q ,
p ∨ q ⇔ ((p ⇒ q) ⇒ q) ,
p ∧ q ⇔ ¬(p ⇒ ¬q) .
Prvi navedeni zakon koristimo za zamjenu implikacije negacijom i disjunkcijom, drugi koristimo za eliminaciju disjunkcije
njenom zamjenom pomo´cu implikacije i tre´ci koristimo za zamjenu konjukcije pomo´cu negacije i implikacije.
20. Zakon negacije implikacije
¬(p ⇒ q) ⇔ p ∧ ¬q .
21. Zakon ekvivalencije
(p ⇔ q) ⇔ (p ⇒ q) ∧ (q ⇒ p) .
22. Zakon unoˇsenja i iznoˇsenja
(p ∧ q ⇒ r) ⇔ (p ⇒ (q ⇒ r)) .
7
ˇ
ELEMENTI MATEMATICKE
LOGIKE
23. Zakon apsorpcije
p ∧ (p ∨ q) ⇔ p ; p ∨ (p ∧ q) ⇔ p .
24. Zakon idempotentnosti
p∧p⇔ p ; p∨p⇔p .
25. Zakoni komutativnosti konjukcije i disjunkcije
p∧q ⇔q∧p ; p∨q ⇔q∨p .
26. Zakoni asocijativnosti konjukcije i disjunkcije
p ∧ (q ∧ r) ⇔ (p ∧ q) ∧ r ; p ∨ (q ∨ r) ⇔ (p ∨ q) ∨ r .
27. Zakoni distributivnosti
p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r) ,
p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) .
Koristimo li i simbole ⊤ i ⊥, bilo kao logiˇcke konstante, bilo kao
zamjenu za iskaze p ∨ ¬p (uvijek taˇcan iskaz) i p ∧ ¬p (uvijek netaˇcan
iskaz), tada su tautologije i formule
(p ∧ ⊤) ⇔ p ; (p ∧ ⊥) ⇔ ⊥ ; (p ∨ ⊤) ⇔ ⊤ ; (p ∨ ⊥) ⇔ p ,
(p ⇒ ⊤) ⇔ ⊤ ; (p ⇒ ⊥) ⇔ ¬p ; (⊤ ⇒ p) ⇔ p ; (⊥ ⇒ p) ⇔ ⊤ ,
(p ⇔ ⊤) ⇔ p ; (p ⇔ ⊥) ⇔ ¬p ,
(p ⇒ p) ⇔ ⊤ ; (p ⇔ p) ⇔ ⊤ .
4 Kvantifikatori
Izraz x < 3, interpretiran kao formula koja se odnosi na prirodne
brojeve, ne moˇze biti ni taˇcan ni netaˇcan jer njegova taˇcnost ovisi
o tome koju vrijednost iz skupa N uzima promjenljiva x. Ali, ako
datu formulu dopunimo prefiksom za svaki prirodan broj x ili
postoji prirodan broj x, tada ve´c ima smisla govoriti o taˇcnosti
takve formule. Ove prefikse nazivamo kvantifikatori ili kvantori i
obiljeˇzavamo ih posebnim simbolima.
Ako sa P (x) oznaˇcimo reˇcenicu koju cˇ itamo ”x ima osobinu P ”, onda
reˇcenicu
Za svaki x, x ima osobinu P
8
ˇ
ELEMENTI MATEMATICKE
LOGIKE
zapisujemo simboliˇcki
(∀x) P (x) .
Simbol ”∀” cˇ itamo ”za svaki”, ”za svaku”, ”za svako”, ”za sve”, ”bilo
koji”, ”ma koji” i naziva se univerzalni kvantifikator. Znak ”∀” predstavlja obrnuto slovo ”A”, kao prvo slovo engleske rijeˇci ”All” (sve).
Njime naglaˇsavamo da je neka tvrdnja (P (x)) ”uvijek” taˇcna, tj. za
svako a iz nekog skupa A je τ (P (a)) = ⊤. Naprimjer, u reˇcenici
”Svaki cˇ ovjek ima pet cˇ ula.” sa kvantifikatorom ”svaki” naglaˇsavamo
ˇ
da je reˇcenica ”Covjek
ima pet cˇ ula.” univerzalno taˇcna.
Reˇcenicu ”postoji x tako da x ima osobinu P ” zapisujemo sa
(∃x) P (x) .
Simbol ”∃” cˇ itamo ”postoji” i naziva se egzistencijalni kvantifikator.
Znak ”∃” predstavlja obrnuto slovo ”E”, prvo slovo engleske rijeˇci
”Exist” (postoji). U obiˇcnom govoru rijeˇci ”neki”, ”za neko”, ”bar
jedan” ukazuju na koriˇsc´ enje egzistencijalnog kvantifikatora. Njime
naznaˇcavamo da je neka tvrdnja (P (x)) ”ponekad” taˇcna, tj. postoji
a iz nekog skupa A, za koga je τ (P (a)) = ⊤. U reˇcenici ”Neki ljudi
imaju sˇ esto cˇ ulo.” kvanifikatorom ”neki” naglaˇsavamo da je reˇcenica
ˇ
”Covjek
ima sˇ esto cˇ ulo.” ponekad taˇcna.
Tako bi sada na poˇcetku spomenuta formula izgledala
(∀x) x < 3
;
(∃x) x < 3 .
Kada zˇ elimo da istaknemo skup na koga se odnosi dati kvantifikator, sˇ to u gornjem primjeru nismo uradili, a sˇ to bi obiˇcnim rijeˇcima
reˇceno bilo: ”svi prirodni brojevi su manji od 3” i ”postoji prirodan
broj manji od 3”, to onda moˇzemo uˇciniti na viˇse naˇcina, kao npr.
(∀x ∈ N) x < 3
;
(∃x ∈ N) x < 3 ,
(∀x) (x ∈ N ⇒ x < 3)
;
(∃x) (x ∈ N ⇒ x < 3) .
ili
Koriˇstenje kvantifikatora u zapisima, bilo jeziˇckim bilo formalnologiˇckim, nazivamo kvantifikacija. Kada iskaˇzemo reˇcenicu ”Svaki
cˇ ovjek je dobar”, njenu kvatifikaciju iskazujemo na sljede´ci naˇcin,
( svaki cˇ ovjek ) cˇ ovjek je dobar .
Ako ”ˇcovjeka” zamjenimo varijablom x, tada ovo iskazujemo sa
(∀x) x je dobar .
Dakle, varijablu x stavljamo tamo gdje je i bila u reˇcenici, a kvantifikator prefiksiramo otvorenoj reˇcenici (x je dobar) i ”dodijelimo” mu
9
ˇ
ELEMENTI MATEMATICKE
LOGIKE
tu varijablu. Time ustvari naglasimo da je kvantificirana varijabla
x, tj. da smo varijablu vezali kvantifikatorom.
Kvantifikacija moˇze biti i viˇsestruka. Naprimjer reˇcenicu ”Za svaki
lonac postoji poklopac.” kvantificiramo tako sˇ to otvorenoj reˇcenici
”poklopac od lonca” prefiksiramo prvo kvantifikator ”Postoji”, a onda
takvoj reˇcenici prefiksiramo kvantifikator ”Za svaki”. Tako dobijamo
reˇcenicu
Za svaki lonac, postoji poklopac, tako da je poklopac od lonca.
Ako varijablu ”lonac” zamjenimo sa x, a varijablu ”poklopac” sa y,
to onda izgleda
(∀x)(∃y) y je poklopac od x .
5 Predikatska logika
Od terma (izraz koji nema istinitosnu vrijednost) se do reˇcenica (formula) dolazi kada terme poveˇzemo relacijskim simbolima i logiˇckim
simbolima. Gramatiˇcki gledano, relacije igraju ulogu glagola koji
u reˇcenici odreduju predikat, pa otuda odgovaraju´ce formule zovemo predikatske, a dio logike koji se takvim reˇcenicama bavi nazivamo predikatska logika. Kada se termi poveˇzu odgovaraju´cim
relacijskim znakom dobijamo najjednostavnije formule koje nazivamo atomarne formule. Ovaj pojam formalno uvodimo sljede´com
definicijom.
Definicija 9
Neka je Rin n-arni relacijski znak i t1 , t2 , ..., tn termi. Tada se
izraz
Rin (t1 , t2 , ..., tn )
naziva atomarna formula.
Primjer 10. Reˇcenica ”Jery je miˇs” primjer je atomarne reˇcenice. U
ovoj reˇcenici Jery je term, a na njega djeluje relacija ”biti miˇs”. Ako
datu relaciju oznaˇcimo sa M , onda datu reˇcenicu cˇ itamo M (Jery).
Reˇcenica ”Zlata je Semirova majka”, je takode atomarna reˇcenica
u kojoj su Zlata i Semir termi, a relacija je ”biti majka”. Ako ovu
relaciju oznaˇcimo sa ”Majka”, onda data reˇcenica se moˇze zapisati
sa M ajka(Zlata, Semir). Uoˇcavamo da je bitan poredak terma u
datoj relaciji jer nije isto re´ci M ajka(Semir, Zlata) (”Semir je Zlatina
majka.”) ♦
10
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Kombinuju´ci atomarne formule sa logiˇckim operacijama i kvantifikatorima dobijamo sloˇzenije formule, koje nazivamo predikatske
formule.
Primjer 11. Primjer pravljenja sloˇzenijih formula od atomarnih u
kontekstu skra´cenijeg zapisa moˇze biti:
Jery je miˇs. Svaki miˇs ima rep. Dakle, Jery ima rep.
Atomarnu reˇcenicu ”Jery je miˇs.” zapiˇsimo sa Miˇs(Jery) ili kra´ce
M (Jery). Reˇcenicu ”Svaki miˇs ima rep.” sa (∀ miˇs)Rep(miˇs) ili kra´ce
(∀ miˇs)R(miˇs). Tada reˇcenica ”Jery ima rep.” glasi Rep(Jery) ili
R(Jery).
Sada gornja argumentacija izgleda ovako
(M (Jery) ∧ (∀ miˇs)R(miˇs)) ⇒ R(Jery) .
Pri tome, broj argumenata (objekata, individua) u predikatu odreduje njegovu duˇzinu, a koju c´ emo zvati mjesnost predikata. Ako se
lista argumenata predikatske reˇcenice sastoji od samo jednog argumenta, kaˇzemo da je predikat jednomjesan, ako se sastoji od dva
argumenta, govorimo o dvomjesnom predikatu. U opˇstem sluˇcaju,
ako se lista argumenata sastoji od n argumenata, govorimo o nmjesnom predikatu.
Bilo koji n-mjesni predikat predstavlja atomarnu reˇcenicu. Pri tome
jednomjesni predikat nazivamo osobina ili svojstvo. Kako c´ emo mi
najˇceˇsc´ e koristiti jednomjesne i dvomjesne predikate, razmotrimo
nekoliko situacija u vezi njih.
Ako kvantifikatorima djelujemo na jednomjesni predikat P (x), dobijamo iskaze (∀x)P (x) i (∃x)P (x).
Ako kvantifikatorima djelujemo na dvomjesni predikat P (x, y), dobijamo ponovo predikatske reˇcenice:
P1 (x) := (∀y)P (x, y)
P2 (x) := (∃y)P (x, y)
P3 (y) := (∀x)P (x, y)
P4 (y) := (∃x)P (x, y) .
U predikatima P1 i P2 varijabla y je vezana, a varijabla x je slobodna,
dok je u predikatima P3 i P4 varijabla x je vezana, a varijabla y je
slobodna.
Vezivanjem slobodnih varijabli u gornjim predikatima dobijamo no-
11
ˇ
ELEMENTI MATEMATICKE
LOGIKE
vih osam formula koje predstavljaju iskaze:
Q1 := (∀x)P1 (x) := (∀x)(∀y)P (x, y)
Q2 := (∃x)P1 (x) := (∃x)(∀y)P (x, y)
Q3 := (∀x)P2 (x) := (∀x)(∃y)P (x, y)
Q4 := (∃x)P2 (x) := (∃x)(∃y)P (x, y)
Q5 := (∀y)P3 (x) := (∀y)(∀x)P (x, y)
Q6 := (∃y)P3 (x) := (∃y)(∀x)P (x, y)
Q7 := (∀y)P4 (x) := (∀y)(∃x)P (x, y)
Q8 := (∃y)P4 (x) := (∃y)(∃x)P (x, y) .
Predikatske formule koje su opˇstevaˇze´ce nazivamo valjane formule.
Neke od najvaˇznijih valjanih formula dat c´ emo u obliku teorema.
Teorem 1: O zamjeni mjesta kvantifikatorima
Neka je F proizvoljna predikatska formula. Sljede´ce formule su
valjane:
1. (∀x)(∀y)F ⇔ (∀y)(∀x)F .
2. (∃x)(∃y)F ⇔ (∃y)(∃x)F .
3. (∃x)(∀y)F ⇒ (∀y)(∃x)F .
Teorem 2: De Morganovi zakoni za kvantifikatore
Neka je F proizvoljna predikatska formula. Sljede´ce formule su
valjane:
1. ¬(∀x)F ⇔ (∃x)¬F .
2. ¬(∃x)F ⇔ (∀x)¬F .
Teorem 3
Neka su F i G proizvoljne predikatske formule. Sljede´ce formule su valjane:
1. (∀x)(F ∧ G) ⇔ (∀x) F ∧ (∀x) G
2. (∃x)(F ∧ G) ⇒ (∃x) F ∧ (∃x) G
12
ˇ
ELEMENTI MATEMATICKE
LOGIKE
3. (∀x) F ∨ (∀x) G ⇒ (∀x)(F ∨ G)
4. (∃x) (F ∨ G) ⇔ (∃x) F ∨ (∃x) G
5. (∀x) (F ⇒ G) ⇒ ((∀x) F ⇒ (∀x) G)
6. (∃x) (F ⇒ G) ⇔ ((∀x) F ⇒ (∃x) G)
7. (∀x) (F ⇔ G) ⇒ ((∀x) F ⇔ (∀x) G)
8. (∃x) (F ⇔ G) ⇔ ((∃x) F ⇔ (∃x) G).
6 Odnosi medu predikatskim reˇ
cenicama
Iskazi koji imaju predikatsku formu (x ima osobinu P ) mogu se dijeliti po kvantitetu, po kvalitetu, po modalitetu i po relaciji. U ovom
dijelu mi c´ emo se bazirati na podjele po kvantitetu i kvalitetu predikatskih reˇcenica.
Po kvantitetu iskaze dijelimo u tri klase:
1. univerzalne,
2. partikularne i
3. singularne.
Univerzalni iskazi govore o nekoj osobini koju imaju svi cˇ lanovi neke
skupine. Naprimjer, iskaz
”Sve ribe diˇsu na sˇ krge.”.
Partikularnim iskazom tvrdimo da bar jedan (a moˇzda i svi) cˇ lan
skupine ima neku osobinu. Takav je iskaz,
”Postoji vodena zˇ ivotinja koja diˇse plu´cima.”.
Singularni iskazi nam govore o osobini pojedinog cˇ lana skupine naprimjer,
”Som diˇse na sˇ krge.”.
Po kvaliteti iskaze dijelimo na:
1. afirmativne,
2. negativne i
3. limitativne.
13
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Afirmativnim iskazom tvrdimo da subjekat (entitet) ima neku osobinu,
”Djeca su iskrena.”
Negativni iskaz nam govori da subjekat nema neku osobinu,
”Postoje ljudi koji nisu iskreni.”
Limitativnim iskazom govorimo da subjekat ima neku osobinu opisanu negacijom,
”Politiˇcari su neiskreni.”.
Kombinuju´ci gornje podjele dolazimo do raznih oblika iskaza. Tako
jedan univerzalan iskaz moˇze biti afirmativan, negativan ili limitativan i u tom sluˇcaju ga nazivamo univerzalno-afirmativan , univerzalnonegativan ili univerzalno-limitativan iskaz. Takode je mogu´ce praviti partikularno-afirmativne, partikaularno-negativne i partikularnolimitativne iskaze.
Primjer 12. Iskaz oblika (∀x) P (x) je univerzalno-afirmativan. Konkretan primjer bi bio, ”Svi ljudi su dobri.”
Iskaz oblika (∀x) ¬P (x) je univerzalno-negativan. Naprimjer, ”Svi
ljudi nisu dobri.”
Iskaz oblika (∃x) P (x) je partikularno-afirmativan. Takav je iskaz,
”Postoje dobri ljudi.”
Iskaz oblika (∃x) ¬P (x) je partikularno-negativan iskaz. Naprimjer,
”Postoji osoba koja nije dobra.” ♦
U ovom dijelu zˇ elimo posmatrati predikatske reˇcenice izraˇzene jednomjesnim predikatom P (x), gdje je varijabla x iz neke skupine (domena) subjekata i njihovim medusobnim odnosima. Pri tome c´ emo
podrazumijevati da subjekti o kojima priˇcamo postoje. Naime, u
reˇcenici ”Svi ljudi su dobri.”, eksplicitno se ne zahtjeva postojanje
niti jednog ”ˇcovjeka” tojest, datu reˇcenicu shvatamo na naˇcin da
ako postoji cˇ ovjek, onda su svi ljudi dobri. Koriste´ci kvantifikaciju i
negaciju, mogu´ce je napraviti sljede´ce iskaze:
(∀x) P (x) , ¬(∀x) P (x) , (∀x) ¬P (x) , (∃x) P (x) , ¬(∃x) P (x) , (∃x) ¬P (x) .
Nas c´ e zanimati odnosi izmedu ovako konstruisanih iskaza koje nazivamo jednostavni iskazi i to odnos koji izraˇzava opoziciju (suprotnost). To je odnos u kome jednim iskazom negiramo (nijeˇcemo) ono
sˇ to tvrdimo drugim iskazom. To negiranje moˇze biti:
• kontrarno, potpuno ili suprotno,
• kontradiktorno ili protuslovno,
14
ˇ
ELEMENTI MATEMATICKE
LOGIKE
• subalternirano ili podredeno i
• subkontrarno ili podsuprotno.
Kod para iskaza koji se nalaze u jednom od gore navedenih odnosa
subjekti i predikati su isti, a ono sˇ to cˇ ini dati odnos je koriˇstenje
kvantifikatora (kvantitet) i negacija (kvalitet).
Kontrarni iskazi Kontrarni iskazi su jednaki po kvantitetu (univerzalni), a razliˇciti su po kvalitetu (jedan je afirmativan, a drugi
je negativan). Kod kontrarnih sudova, prvi sud je univerzalnoafirmativan, a drugi je univerzalno-negativan. Dakle, govorimo o
paru iskaza oblika:
I1 : (∀x) P (x) i I2 : (∀x) ¬P (x) .
Primjer 13. Iskazi
”Svi kiˇcmenjaci su uspravni.”
”Svi kiˇcmenjaci nisu uspravni.” ,
su medusobno kontrarni iskazi. Ili,
”Svi parni brojevi su prirodni brojevi.”
”Svi parni brojevi nisu prirodni brojevi.”
♦
Dati odnos nazivamo suprotnom opozicijom ili kontrarnost. Kod kontrarnih iskaza ne mogu oba iskaza biti istiniti ili drugaˇcije reˇceno
bar jedan mora biti neistinit. Naprimjer, iskaz
”Svi ljudi su smrtni.”
je taˇcan iskaz, ali njemu kontraran iskaz
”Svi ljudi nisu smrtni.”
je netaˇcan iskaz. Naravno da ovdje moˇze do´ci do nejasno´ce jer kod
kontrarnih iskaza oba iskaza mogu biti netaˇcna. Naime, iskazi
”Svi lavovi su maˇcke.”
”Svi lavovi nisu maˇcke.”
jesu kontrarni, ali ni jedan od njih nije taˇcan (postoje i morski lavovi).
15
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Kontradiktorni iskazi Kontradiktorni iskazi su razliˇciti i po kvantitetu i po kvalitetu. Jedan od njih je univerzalno-afirmativan, a
drugi je partikularno-negativan. Takvi iskazi predstavljaju par iskaza oblika:
I1 : (∀x) P (x) i I2 : (∃x) ¬P (x) .
Primjer 14. Iskazi
”Svi studenti vole logiku.”
”Neki studenti ne vole logiku.”,
primjer su kontradiktornih iskaza. Takode, kontradiktorni su i iskazi
”U svim trouglovima zbir uglova je 180◦ .”
”Postoji trougao u kome zbir uglova nije 180◦ .”
♦
Ovaj odnos nazivamo protivurijeˇcnost ili kontrdiktorna opozicija, a
cˇ esto i kratko´ce radi kontradikcija. Dva kontradiktorna iskaza ne
mogu oba istovremeno biti istinita. Iskazu
”Svi prirodni brojevi su pozitivni.”,
koji je taˇcan iskaz, kontradiktoran je iskaz
”Postoji prirodan broj koji nije pozitivan.” ,
koji je oˇcigledno netaˇcan iskaz. U kontradikciji se nalaze i sljede´ca
dva iskaza:
(∀x ∈ R) x + 0 = x , (∃x ∈ R) x + 0 6= x .
Prvi od njih je taˇcan, a drugi netaˇcan iskaz. Medutim, posmatrajmo
iskaz
”Sve sˇ to sija je zlato.”
i naravno da je to netaˇcan iskaz. Njemu kontradiktoran iskaz je
”Postoji neˇsto sˇ to sija, a nije zlato.” ,
a on je taˇcan iskaz. Ovo nam govori da dva iskaza koja su u kontradikciji ne mogu istovremeno biti ni netaˇcni. Dakle, zakljuˇcujemo
da kontradiktorni iskazi ne mogu biti istovremeno oba taˇcni niti istovremeno oba netaˇcni tojest, ako je jedan od njih taˇcan, drugi je
netaˇcan.
16
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Subalternirani iskazi Za dva iskaza koja su jednaka po kvaliteti,
a razliˇciti po kvantiteti kaˇzemo da su subalternirani. Jedan od takvih iskaza je univerzalno-afirmativan, a drugi je onda partikularnoafirmativan ili je jedan univerzalno-negativan, a drugi partikularnonegativan. Ove dvije varijante u opˇstem sluˇcaju predstavljaju parove iskaza:
I1 : (∀x) P (x) i I2 : (∃x) P (x) ,
ili
I1 : (∀x) ¬P (x) i I2 : (∃x) ¬P (x) .
Primjer 15. Iskazi
”Svi ljudi su pametni.”
”Neki ljudi su pametni.”,
su subalternirani iskazi. Druga varijanta subalterniranih iskaza su
iskazi
”Svi koˇsarkaˇsi nisu visoki.” i
”Neki koˇsarkaˇsi nisu visoki.”
♦
Za ovaj odnos kaˇzemo da je subalterniraju´ca opozicija, podredenost
ili subalternacija. Ako su dva iskaza u subalternaciji, za onaj od njih
koji je univerzalnog tipa kaˇzemo da je subalterniraju´ci ili nadreden,
a onaj koji je partikularnog tipa je subalterniran ili podreden.
Oba iskaza koji su u subalternaciji mogu biti istiniti. Naprimjer,
”Sve sˇ to postoji je sastavljeno od atoma.” i
”Neˇsto sˇ to postoji je sastavljeno od atoma.” ,
su iskazi u subalternaciji i oba su taˇcni iskazi.
Iskazi koji su u alternaciji mogu biti oba i neistiniti. Naprimjer,
”Sve ptice su sisari.” (netaˇcno) i
”Postoji ptica koja je sisar.” (netaˇcno).
Kod ove vrste odnosa mogu´ce je da nadredeni iskaz bude neistinit,
a podredeni da bude istinit. Iskazi
”Na svim planetama postoji zˇ ivot.” i
”Postoji planeta na kojoj postoji zˇ ivot.” ,
jesu u alternaciji, ali prvi od njih (nadredeni) je netaˇcan (na Merkuru nema zˇ ivota), a drugi (podredeni) je taˇcan (Na Zemlji postoji
zˇ ivot).
Kod subalterniranih iskaza nije mogu´ca jedino varijanta da nadredeni
17
ˇ
ELEMENTI MATEMATICKE
LOGIKE
iskaz bude taˇcan, a da podredeni bude netaˇcan. Zaista, nadredeni
iskaz je univerzalan, govori da neku osobinu imaju svi subjekti, a
podredeni je partikularan, govori da tu osobinu imaju neki subjekti.
Time c´ e taˇcnost prvog iskaza (svi imaju osobinu) uzrokovati taˇcnost
i drugog iskaza (neki imaju osobinu), drugaˇcije reˇceno, sˇ to vrijedi
za sve, vrijedi i za neke. Ovo moˇzemo iskoristiti i u kontrapoziciji,
sˇ to ne vrijei za neke ne´ce vrijediti ni za sve. Naprimjer, ako je taˇcan
iskaz
”Svi politiˇcari su korumpirani.”,
taˇcan je i njemu subalterniran iskaz
”Neki politiˇcari su korumpirani.”
Subkontrarni iskazi Subkontrarni iskazi su jednaki po kvantitetu (partikularni), a razliˇciti su po kvalitetu (jedan je afirmativan,
a drugi negativan). Dakle, to su iskazi gdje je jedan partikularnoafirmativan, a drugi partikularno-negativan. U formalnom zapisu
to je par iskaza oblika:
I1 : (∃x) P (x) i I2 : (∃x) ¬P (x) .
Primjer 16. Iskazi
”Neki politiˇcari su poˇsteni.” i
”Neki politiˇcari nisu poˇsteni.” ,
su subkontrarni iskazi. Subkontrarnost je takode i medu iskazima
”(∃x ∈ R) sin x = 0.” i
”(∃x ∈ R) sin x 6= 0.”.
♦
Za iskaze u ovom odnosu kaˇzemo da su subkontrarni, podsuprotni,
subkontrarno opozicioni, a odnos nazivamo subkontrarnost.
Subkontrarni sudovi mogu biti istovremeno istiniti. Naprimjer, iskazi
”Postoji plava ruˇza.” i
”Postoji ruˇza koja nije plava.” ,
su istiniti subkontrarni iskazi. Od dva subkontrarna iskaza moˇze
biti jedan istinit, a drugi neistinit. Iskaz
”Neki ljudi su smrtni.” ,
je taˇcan, a njemu subkontraran iskaz
18
ˇ
ELEMENTI MATEMATICKE
LOGIKE
”Neki ljudi nisu smrtni.” ,
je netaˇcan iskaz. Za subkontrarne iskaze nije mogu´ce da su oba
istovremeno netaˇcni. U suˇstini, subkontrarni sudovi tvrde da ”neˇsto
jeste” i ”neˇsto nije”, pa je jasno da se jedno mora dogoditi. Dakle,
od dva subkontrarna iskaza bar jedan mora biti taˇcan iskaz.
6.1 Logiˇ
cki kvadrat
t
on
r
Subkontrarnost
E
Subalternacija
ja
ci
di
k
ra
on
t
K
ja
ja
K
ja
ci
ci
I
ci
ik
ad
k
di
k
di
(∃x)¬P (x)
Kontrarnost
ra
ra
Subkontrarnost
A
t
on
t
on
(∃x)P (x)
(∀x)¬P (x)
K
K
Subalternacija
Kontrarnost
Subalternacija
(∀x)P (x)
Subalternacija
Medu iskazima predikatskog oblika, razlikuju´ci ih po kvantitetu i
kvalitetu, uoˇcili smo cˇ etiri vrste odnosa. Tradicionalno ti se odnosi
prikazuju dijagramom na slici 2, koga nazivamo logiˇcki kvadrat.
O
Slika 2: Logiˇcki kvadrat
Uobiˇcajeno se univerzalno-afirmativan iskaz oznaˇcava samoglasnikom ”A”, univerzalno-negativan sa ”E”, partikularno-afirmativan
sa ”I” i partikularno-negativan sa ”O”, radi jednostavnijeg crtanja
logiˇckog kvadrata.
Primjer 17. Posmatrajmo iskaz (A) ”Svi ljudi su smrtni.”, koji je
taˇcan.
⊤
⊥
ja
ra
k
di
ra
ci
ja
t
on
k
di
K
Subkontrarnost
Njemu kontraran iskaz (E) je ”Svi ljudi nisu
smrtni.” i on je netaˇcan iskaz. Subalterniraju´ci iskaz (I), ”Neki ljudi su smrtni.”
je taˇcan iskaz, a kontradiktoran iskaz (O),
”Neki ljudi nisu smrtni.” je netaˇcan iskaz.
To bi u logiˇckom kvadratu predstavili slikom
sa strane.
♦
E
Subalternacija
ci
t
on
I
⊤
Kontrarnost
K
Subalternacija
A
O
⊥
Znaju´ci istinitosne odnose izmedu iskaza A,E,I i O, treba primjetiti
sljede´ce:
19
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Ako znamo da je iskaz A taˇcan, tada je iskaz E netaˇcan, iskaz I
taˇcan i iskaz O netaˇcan.
Ako znamo da je iskaz E taˇcan, tada je A netaˇcan, I je netaˇcan i O
je taˇcan iskaz.
Ako znamo da je iskaz I netaˇcan, tada je A netaˇcan, E je taˇcan i O
je taˇcan.
Ako znamo da je O netaˇcan, tada je E netaˇcan, A taˇcan i I taˇcan
iskaz.
Ovo moˇzemo generalizovati tvrdnjom da ako znamo da su univerzalni iskazi taˇcni ili ako znamo da su partikularni iskazi netaˇcni,
onda znamo istinitost svih ostalih iskaza u logiˇckom kvadratu.
Ako znamo da je iskaz A netaˇcan, tada jedino znamo da je iskaz O
taˇcan, a za iskaze E i I ne moˇzemo utvrditi sa sigurnoˇsc´ u njihovu
istinitost.
Ako znamo da je iskaz E netaˇcan, tada jedino znamo da je iskaz I
taˇcan, a za iskaze A i O ne moˇzemo utvrditi sa sigurnoˇsc´ u njihovu
istinitost.
Ako znamo da je iskaz I taˇcan, tada jedino znamo da je iskaz E
netaˇcan, a za iskaze A i O ne moˇzemo utvrditi sa sigurnoˇsc´ u njihovu istinitost.
Ako znamo da je iskaz O taˇcan, tada jedino znamo da je iskaz A
netaˇcan, a za iskaze E i I ne moˇzemo utvrditi sa sigurnoˇsc´ u njihovu
istinitost.
Dakle, ako znamo da su univerzalni iskazi netaˇcni ili partikularni
iskazi da su taˇcni, tada nemamo pouzdanu informaciju o taˇcnosti
svih iskaza logiˇckog kvadrata.
Primjer 18. Posmatrajmo univerzalno-afirmativne iskaze (A), ”Svi
ptice lete.” (netaˇcno) i ”Svi neograniˇceni nizovi su konvergentni.”
(netaˇcno). Formiraju´ci za njih logiˇcke kvadrate vidimo da pouzdano
znamo jedino istinitost iskaza O (taˇcan), a da za iskaze E i I su
mogu´ce dvije varijante. ♦
O
I
⊤
(a) ”Sve ptice lete.”
⊥
K
t
on
r
Subkontrarnost
E
Subalternacija
ja
ja
Subkontrarnost
⊤
ci
ik
ad
i
kc
di
r
ja
t
on
i
kc
di
K
Kontrarnost
ra
ra
Subalternacija
ja
⊤
A
t
on
t
on
ci
ik
ad
⊥
E
K
K
I
Kontrarnost
Subalternacija
⊥
A
Subalternacija
⊥
O
⊤
(b) ”Svi neograniˇceni nizovi su konvergentni.”
20
ˇ
ELEMENTI MATEMATICKE
LOGIKE
Literatura
[1] S. G. Simpson: Mathematical Logic, The Pensilvania State University, 2005.
[2] S. Bilaniuk: A Problem Course in Mathematical Logic, Trent
University, Peterborough Ontario, Canada, 2003.
ˇ c: Novija filozofija matematike, Nolit, Beograd 1987.
[3] Z. Sili´
[4] M. Vukovi´c: Matematiˇcka logika 1, Sveuˇciliˇste u Zagrebu, Zagreb 2006.
[5] http://www.iq-testovi.com/test-logickog-razmisljanja.php
[6] http://www.321.ba/logike
[7] http://gimnazija-osma-tbrezovackog-zg.skole.hr/
[8] http://marul.ffst.hr/ logika/seminar/doku.php
21