U testu se provjerava znanje deduktivnog sustava iskazne i predikatne logike.

Očekuje se da učenik:
1. iz danih pretpostavki može izvesti zadanu postavku u osnovnom sustavu (pravila na str. 103. u
udžbeniku)
2. iz danih pretpostavki može izvesti zadanu postavku koristeći i neka pravila izvan osnovnog sustava
- MT, MTP (DS), LANAC, dvostruka negacija, svođenje pogodbe, svođenje dvopogodbe, De
Morganova pravila, komutativnost i kontrapozicija (P  Q ≡ Q  P). Smisao je uvođenja tih
pravila da se dokaz skrati.
3. može prevesti zaključak s hrvatskog jezika na jezik logike, prepoznati je li zaključak valjan i ako je
valjan dokazati da konkluzija slijedi iz premisa.
Priprema:
1. Bilješke s nastave: pravila i njihova primjena pokazana je na brojnim primjerima.
2. Udžbenik – za iskaznu logiku: 94 – 105 (primjeri dokaza su napravljeni uz primjenu pravila
proširenog osnovnog sustava)
3. Na http://bgillette.com/wp-content/uploads/2012/08/merged_document.pdf (iskazna logika 88-133,
predikatna logika 266 – 282) imate mnoštvo riješenih primjera. Notacija je malo drukčija: „&“ stoji za
„“,“ ≡“ stoji za „“, „“ stoji za „“, „“ stoji za „“ kvantifikatori su u zagradama, „E“ stoji za
„i“ (isključenje, eliminacija), „I“ stoji za „u“ (uvođenje, introdukcija), „R“ stoji za „op“ (opetovanje,
reiteracija), „A“ je „pr.“ (pretpostavka – npr. A/E kaže da se uvodi pretpostavka za isključenje
negacije. Tu se malo razlikuje od našeg udžbenika, naime ako pod P slijedi proturječje, onda se uvodi
negacija, dakle P (kao i naš udžbenik), ali ako pod P slijedi proturječje, onda se isključuje negacija,
dakle P (naš udžbenik uvodi, dakle P, a onda isključuje dakle P)
4. Zadaci u udžbeniku (1. i 2.) na str. 104.
5. Vježbajte dokaz kategoričnog silogizma i neposrednih zaključaka: str. 133. 8 (a. – g.), 15. i 16.
6. U produžetku je dan cijeli niz zadataka doslovno prepisanih ili
djelomično izmijenjenih iz knjige L. S. Cauman, Uvod u logiku prvog reda

NAPOMENA:
Ako primijetite bilo kakav problem u zadacima ili rješenjima,
molim vas da me kontaktirate.
ISKAZNA LOGIKA

1. Dokaži da su sljedeći zaključci valjani. Dokaze radite u a. osnovnom sustavu i u b. proširenom

sustavu uz primjenu naznačenih pravila. Sami odaberite simbole.
1. Ako bude snježilo nosit ću kaljače. Dobit ću žuljeve ako budem nosio kaljače. Ako dobijem
žuljeve, boljet će me noge. Dakle, ako bude snježilo boljet će me noge. (a. osnovni sustav, b.
lanac)
2. Ako je jučer bila nedjelja, danas je ponedjeljak. Danas nije ponedjeljak. Dakle, jučer nije bila
nedjelja. (a. osnovni sustav, b. MT)
3. Nije slučaj da smo u Parizu i da ovdje svatko govori ruski. Ovdje svi govore ruski. Dakle,
nismo u Parizu. (a. osnovni sustav, b. DeM, dv. neg.)
4. Ova knjiga govori o biologiji ili geologiji. Ova knjiga ne govori o biologiji. Dakle, ova knjiga
govori o geologiji. (a. osnovni sustav, b. MTP (DS)) - malo teži u osnovnom sustavu.
2. Dokaži da su sljedeći zaključci valjani:
1. Ako Alice ode i u trgovinu i kod mesara, dobit će sve što treba. Alice će ići kod mesara ako
ode u trgovinu. Dakle, ako Alice ode u trgovinu, dobit će sve što treba. (osnovni sustav)
2. Ako John donese salatu, Henry će imati dobar ručak. Dakle, ako Mary donese savijaču, a John
donese salatu, Henry će imati dobar ručak. (osnovni)
3. Ako Mary donese savijaču, a John donese salatu, Henry će imati dobar ručak. Mary će donijeti
savijaču. Dakle, ako John donese salatu, Henry će imati dobar ručak. (osnovni)
4. Mary donosi savijaču, a ako John donese salatu, Henry će imati dobar ručak. Dakle, ako John
donese salatu, Mary će donijeti savijaču i Henry će imati dobar ručak. (osnovni)
5. Ako Mary ode u trgovinu, za večeru ćemo dobiti čokoladnu tortu. Mary će ići u trgovinu ako
ne bude kasnila. Ona neće kasniti ako autodbus br. 5 bude vozio. Dakle, ako autobus br. 5
bude vozio, za večeru ćemo imati čokoladnu tortu. (a. osnovni, b. prošireni sustav)
6. Henry će ići na plivanje ako bude lijepo vrijeme. Henry neće ići na plivanje ako ostane
dokasna u uredu. Dakle, ako bude lijepo vrijeme, Henry neće ostati dokasna u uredu. (a.
osnovni, b. prošireni)
7. Ako Kleant laže, bogovi ga kažnjavaju i on pati. Ako Kleant laže ljudi ga nagrađuju i on ne
pati. Dakle, Kleant ne laže. (osnovni)
8. Ako Alice ne ode u trgovinu i kod mesara, neće imati sve što treba. Ako ode u trgovni, neće
ići kod mesara. Dakle, Alice neće imati sve što treba. (a. osnovni, b. prošireni) – malo teži
dokaz u osnovnom sustavu
9. Ako Klenat laže, bogovi ga kažnjavaju i on pati. Ako Kleant govori istinu, ljudi ga kažnjavaju
i on pati. Kleant laže ili govori istinu. Dakle, Kleant pati. (osnovni)
 10. Ako Klenat laže, bogovi ga kažnjavaju i on pati. Ako Kleant ne laže, ljudi ga kažnjavaju i on
pati. Kleant laže ili ne laže. Dakle, ili Kleanta kažnjavaju bogovi ili ga kažnjavaju ljudi.
(osnovni) – teži dokaz, ali dobar za vježbu.
11. Alice će ići u trgovinu ili kod mesara, ili će pak ići u kino. Ako Alice ode kod mesara, neće
imati mlijeka. Ako bude imala mesa, neće ići u trgovinu. Ako ode u kino, Alice neće kupiti ni
mesa ni mlijeka. Dakle, Alice neće imati mesa ili neće imati mlijeka. (malo teži dokaz za
odvažnije – osnovni)
12. Ako Mary kani upisati Francuski ili Komparativnu književnost, morat će položiti ispit iz
francuskog. Mary neće položiti ispit iz Francuskog. Dakle, Mary neće upisati Komparativnu
književnost. (a. osnovni, b. prošireni)
13. Idemo na utakmicu ili u kino. Ako bude po Alicinom, nećemo ići na utakmicu. Ako bude po
Carolininom, nećemo ići u kino. Dakle, ili Alice ili Caroline neće dobiti ono što želi. (a.
osnovni, b. prošireni)
3. Prosudite koji su zaključci valjani a koji ne. Valjane zaključke dokažite.
1. Ako Peter napravi zabavu, doći će Quentin ili Rose. Ako dođu Quentin i Rose, bit će pjesme.
Dakle, ako Peter napravi zabavu, bit će pjesme.
2. Ako Peter napravi zabavu, doći će Quentin i Rose. Ako dođu Quentin ili Rose, bit će pjesme.
Dakle, ako Peter napravi zabavu, bit će pjesme.
3. Ako Peter ode u Albany, posjetit će baku. Ako ne ode u Albany, sudjelovat će u paradi. Dakle,
Peter će ili posjetiti baku ili će sudjelovati u paradi.
4. Ako Peter ode u Albany, posjetit će djeda. Ako Peter ode u New York, sudjelovat će u paradi.
Dakle, Peter će ili posjetiti djeda ili će sudjelovati u paradi.
5. Henry nije rođen i u San Francisku i u Philadelphiji. Henry je rođen u San Francisku. Dakle,
Henry nije rođen u Philadelphiji.
6. Ako Alice ode i u trgovinu i kod mesara, imat će sve što treba. Alice će ići kod mesara ako
ode u trgovinu. Dakle, ako Alice ode kod mesara, imat će sve što treba.
7. Ako Henry želi da baka bude zadovoljna, mora dobiti peticu iz francuskog. Ako kani dobiti
peticu iz francuskog, neće imati vremena za košarku. Ako ne bude imao vremena za košarku,
bit će u depresiji. Ako bude u depresiji, baka neće biti zadovoljna. Dakle, baka neće biti
zadovoljna.
8. Ako su vladine statistike pouzdane, troškovi života su pali, a ako su novinski izvještaji
pouzdani, nezaposlenost je skočila. Ni vladine statistike ni novinska izvješća nisu pouzdani.
Dakle, troškovi života nisu pali i nezaposlenost nije skočila.
9. Ako su vladine statistike pouzdane, troškovi života su pali, a ako su novinski izvještaji
pouzdani, nezaposlenost je skočila. Troškovi života nisu pali i nezaposlenost nije skočila.
Dakle, ni vladine statistike ni novinska izvješća nisu pouzdana.
10. Svježu ribu za večeru Alice može dobiti samo ako ode u ribarnicu u Glavnoj ulici. Alice ne
može otići i u trgovinu i u ribarnicu. Dakle, ako Alice može dobiti svježu ribu, otići će na
ribarnicu a ne u trgovinu.
11. Ako ne dobije veću stipendiju, Mary će morati u sljedećem semestru upisati pauzu i zaraditi
nešto novca. Veću stipendiju će dobiti samo ako povisi prosjek ocjena. Dakle, ako se Mary i
dalje bude bavila atletikom i ne popravi ocjene, morat će upisati pauzu.
12. George će diplomirati u svibnju samo ako zadovolji zahtjeve znanstvene grupe predmeta.
Zadovoljit će zahtjeve znanstvene grupe predmeta ako i samo ako iz logike dobije barem
četvorku. Dakle, ako George ne dobije barem četvorku iz logike ili ako padne logike, George
neće diplomirati u svibnju.
13. Ako Henry rano ustane i dobro doručkuje, stići će na posao na vrijeme. Henry će dobro
doručkovati samo ako rano ustane. Dakle, Henry će stići na posao na vrijeme samo ako rano
ustane.
14. Ako Henry rano ustane i dobro doručkuje, stići će na posao na vrijeme. Henry će dobro
doručkovati ako rano ustane. Dakle, ako rano ustane, Henry će stići na posao na vrijeme.
15. Ako Henry rano ustane i dobro doručkuje, stići će na posao na vrijeme. Henry će dobro
doručkovati samo ako rano ustane. Dakle, ako rano ustane, Henry će stići na posao na vrijeme.
16. Henry će stići na posao ako na vrijeme ustane i dobro doručkuje. Henry će dobro doručkovati.
Dakle, ako rano ustane, Henry će stići na posao na vrijeme.
17. U slučaju snježne oluje ili praznika, prestaju važiti ograničenja parkiranja. Ako ograničenja
parkiranja prestanu, sutra smiješ parkirati auto na ulici. Sutra ne smiješ parkirati auto na ulici.
Dakle, sutra nije praznik.
18. Joe neće dobiti vozačku dozvolu ako nije napunio osamnaestu i ako nije položio vozački ispit.
Joe je napunio osamnaestu. Ako Joe izađe na vozački ispit, položit će vozački ispit. Dakle, ako
Joe izađe na vozački ispit, dobit će vozačku dozvolu.
19. Joe će dobiti vozačku ako napuni osamanest godina i položi vozački ispit. Joe je napunio
osamnaest godina. Ako Joe izađe na vozački ispit, položit će vozački ispit. Dakle, ako Joe
izađe na vozački ispit, dobit će vozačku dozvolu.
20. Idemo na planinarenje i ako bude sunčano, bit će nam odlično. Dakle, ako bude sunčano ići
ćemo na planinarenje i bit će nam odlično.
21. Ako bude sunčano, ići ćemo na planinarenje i bit će nam odlično. Dakle, ako odemo na
planinarenje i bude sunčano, bit će nam odlično.
22. Ako odemo na planinarenje i bude sunčano, bit će nam odlično. Dakle, idemo na planinarenje
i ako bude sunčano, bit će nam odlično.
23. Ako bude sunčano, ići ćemo na planinarenje i bit će nam odlično. Dakle, bit će nam odlično i
ako bude sunčano, ići ćemo na planinarenje.
24. Alice će na vrijeme stići na sastanak samo ako bude vozila brzo. Ako Alice bude vozila brzo,
zaustavit će je policija na Glavnoj ulici i odvest će je u policijsku postaju. Ako Alice odvedu u
policijsku postaju, neće stići na sastanak na vrijeme. Dakle, Alice neće stići na sastanak na
vrijeme.
25. Ako ne upišem i algebru i analizu, ne mogu upisati ni geologiju ni fiziku. Upisao sam algebru
i geologiju. Dakle, upisao sam analizu.
26. Ako ponudi jamstvo, proizvođač će se smatrati odgovornim za nepravilan rad vašeg radio
prijemnika ako i samo ako ste poštom poslali jamstveni list. Proizvođač se neće smatrati
odgovrnim. Dakle, proizvođač je ponudio jamstvo, ali vi niste poslali svoj jamstveni list.
27. Ako ponudi jamstvo, proizvođač će se smatrati odgovornim za nepravilan rad vašeg radio
prijemnika ako i samo ako ste poštom poslali jamstveni list. Proizvođač se neće smatrati
odgovornim. Dakle, ako je proizvođač ponudio jamstvo, vi niste poslali svoj jamstveni list.
PREDIKATNA LOGIKA
Napomene:
1. Sve predikate koji se javljaju u primjerima treba shvatiti kao jednomjesne (monadičke). Tako
npr.
Rx: x se ponosi svojim repom
Nx: x hoda na nogama
Sx: x može pohađati ovaj seminar
2. Pripazite na rečenice kao što je „Samo se dobro obrazovani služe računalima“. Usporedite tu
rečenicu s „Samo ako Q, onda P“ što je istovrijedno „Ako P, onda Q“. Dakle, „Samo ako je
netko dobro obrazovan, služi se računalima“, a to je istovrijedno rečenici „Ako se netko služi
računalima, onda je on dobro obrazovan“, odnosno „Svi koji se služe računalima, dobro su
obrazovani“.
3. Nekada izraze kao što je „visoki košarkaš“ možemo prevesti jednim predikatom, a nekada
moramo dvama predikatima. Npr.
(a) jednim predikatom: Svi visoki košarkaši su okretni. Dakle, nitko tko nije okretan nije visoki
košarkaš.
(b) dvama predikatima: Svi košarkaši su okretni. Dakle, svi visoki košarkaši su okretni.

4. Prosudite koji su zaključci valjani a koji ne. Valjane zaključke dokažite.

1. Sve ose su zloćudne. Sva štenad su dobroćudna. Dakle, nijedno štene nije osa.
2. Svi brucoši se služe računalima. Samo se dobro obrazovani služe računalima. Dakle, svi
brucoši su dobro obrazovani.
3. Nijedan škrtac nije nesebičan. Samo škrci čuvaju ljuske od jaja. Dakle, svatko tko čuva ljuske
od jaja je sebičan.
4. Nijedna ptica koja nije paun ne ponosi se svojim repom. Neke ptice koje se ponose svojim
repom, ne mogu pjevati. Dakle, neki pauni ne mogu pjevati. (malo teži primjer)
5. Nijedna žaba nije poetična. Neke životinje su poetične. Dakle, neke životinje nisu žabe.
6. Nijedan žaba nije poetična. Neke životinje nisu žabe. Dakle, neke životinje su poetične.
7. Svatko pametan hoda na nogama. Svatko tko nije pametan hoda na rukama. Dakle nitko ne
hoda i na rukama i na nogama.
8. Tko hoda na nogama, ne hoda na rukama. Dakle nitko ne hoda i na rukama i na nogama.
9. Samo oni koji studiraju filozofiju mogu pohađati ovaj seminar. Mary i George studiraju
filozofiju. Dakle, Mary i George mogu pohađati ovaj seminar.
10. Samo oni koji studiraju filozofiju, mogu pohađati ovaj seminar. Mary i George mogu pohađati
ovaj seminar. Dakle, Mary i George studiraju filozofiju.
 11. Tko koristi automatsku korekciju, ne zna pravopis. Neki studenti znaju pravopis. Dakle, neki
studenti ne koriste automatsku korekciju.
12. Neki koji koriste automatsku korekciju, ne znaju pravopis. Neki studenti koriste automatsku
korekciju. Dakle, neki studenti ne znaju pravopis.

5. Dokažite da su sljedeći zaključci valjani.

1. Brucoši mogu biti u košarkaškoj ekipi samo ako imaju dobre ocjene. Neki članovi košarkaške
ekipe nemaju dobre ocjene. Dakle, neki članovi košarkaške ekipe nisu brucoši.
2. Svi košarkaši su vrlo visoki ili brzo trče. Svi vrlo visoki košarkaši brzo trče. Dakle, svi
košarkaši brzo trče.
3. Svi ribiči su blagonakloni. Nijedan sudac nije blagonaklon. Neki suci su autoriteti. Neki
autoriteti nisu ribiči.
4. Ako tvrtka bankrotira, svi će dobiti otkaz. Dakle, ako tvrtka bankrotira, Joe će dobiti otkaz.
(„Tvrtka će bankrotirati“ možemo prevesti kao iskaz iskazne logike, npr. T, odnosno kao nul-
mjesni predikat, predikat koji nema praznog mjesta ili kao Bt, jer primjer sugerira da se radi o
tvrtci u kojoj radi Joe. U ovom primjeru ne mislimo da će svi predmeti uopće dobiti otkaz pod
navedenim uvjetom, nego mislimo na zaposlenike tvrtke. No zaključak je valjan i za
neograničeno predmetno područje, stoga u prijevodu ne treba uvoditi ograničenje predikatom
npr. Zx: x je zaposlenik tvtke – npr. x (Zxt  Ox). Ako bismo to htjeli, onda bismo u
pretpostavke trebali uvesti i to da je Joe zaposlenik tvrtke - Zjt.)
5. Svatko tko posjeduje oružje je društveni problem. Dakle, ako netko posjeduje oružje, netko je
društveni problem.
6. Ako netko posjeduje oružje, svi su u opasnosti. Dakle, svatko tko posjeduje oružje je u
opasnosti.

6. Prosudite koji su zaključci valjani a koji ne. Valjane zaključke dokažite.

1. Svaki orao leti. Neke svinje ne lete. Dakle, neke svinje nisu orlovi.
2. Svaki orao leti. Neke svinje lete. Dakle, neke svinje su orlovi.
3. Svatko tko rado uči, mnogo radi. Neka djeca mnogo rade. Dakle, neka djeca rado uče.
4. Svi lavovi su strašni. Neki lavovi ne piju kavu. Dakle, neki koji piju kavu nisu strašni.
5. Svi lavovi su strašna stvorenja. Neki lavovi ne piju kavu. Dakle, neka strašna stvorenja ne piju
kavu.
6. Nijedan profesor logike nije nestašan. Neki majmuni su nestašni. Dakle, neki majmuni nisu
profesori logike.
7. Nema nesebičnih škrtaca. Samo škrci čuvaju ljuske od jaja. Dakle, nitko nesebičan ne čuva
ljuske od jaja.
8. Građani sa stalnim boravištem mogu glasati. Samo građani imaju stalno boravište. Dakle, svi
koji imaju stalno boravište mogu glasati.
9. Neće se zaposliti nijedan inženjer koji nije niti školovan niti iskusan. Nema iskusnih inženjera
žena. Neke žene inženjere zapošljavaju. Dakle, neke žene inženjeri su školovane. (malo teži
primjer)
10. Svi jastuci su meki. Nijedan žarač nije mek. Dakle, neki jastuci nisu žarači.
11. Svi vinopije su komunikativni. Svakome komunikativnome se može vjerovati. Dakle,
svakome tko je vinopija se može vjerovati.
12. Svi zubari se užasavaju djece. Nijedan car nije zubar. Dakle, nijedan car se ne užasava djece.
13. Svi moji ujaci su ili darežljivi ili zabavni. Oni moji ujaci koji su darežjlvii su i zabavni. Dakle,
svi moji ujaci su zabavni. (malo teži)
14. Ovom seminaru smiju pristupiti samo studenti filozofije koji slušaju logiku. Neki studenti
filozofije ne slušaju logiku. Dakle, neki studenti filozofije ne smije pristupiti ovom seminaru.
15. Nijedan košarkaš nije šahist. Neki matematičari su šahisti, a neki nisu. Dakle, neki
matematičari nisu ni šahisti ni košarkaši.
16. Svi košarkaši su šahisti. Neki matematičari su šahisti, a neki nisu. Dakle, neki matematičari
nisu ni šahisti ni košarkaši.
17. Nijedan žarač nije mek. Neki jastuci su meki, a neki nisu. Dakle, nešto nije žarač.
18. Svi šahisti imaju crtu borbenosti. Svatko tko je informiran i borben, može biti dobar u
debatama. Dakle, svi informirani šahisti mogu biti dobri u debatama.
19. Svi članovi kluba imaju imaju koturaljke ili bicikl. Svi članovi kluba koji imaju koturaljke
imaju i bickl. Dakle, svi članovi kluba imaju bicikl.
20. Svi političari koje poznajem su pošteni. Nijedan političar kojeg poznajem nije pošten. Dakle,
ne poznajem nijednog političara.
21. Ako je netko iskusan i pouzdan, onda je Joe pouzdan ako je iskusan. Dakle, ako je Joe iskusan
i nije pouzdan, onda nema nikoga tko je iskusan i pouzdan.
22. Ako su svi uviđavni, svi su na dobitku. Dakle, svi uviđavni su na dobitku.
23. Ako je netko uviđavan, svi su na dobitku. Dakle, svi uviđavni su na dobitku.
24. Ako netko ima pištolj, sva djeca trebaju zaštitu. Dakle, ako neka djeca imaju pištolj, svi
trebaju zaštitu.
25. Ako netko ima pištolj, sva djeca trebaju zaštitu. Dakle, ako svatko ima pištolj, sva djeca
trebaju zaštitu.
26. Ako netko ima pištolj, sva djeca trebaju zaštitu. Dakle, ako neka djeca imaju pištolj, neka
djeca trebaju zaštitu.