SEMANTIKA VALJANOST ARGUMENTA

(ZAKLJUKA)
Zadaci i rjeenja

SIMBOLIKA LOGIKA
2. godina preddiplomskog studija Filozofije ak. god. 2010/11.

1. Odredite jesu li sljedei nizovi tautologije:

(1) {P Q, Q} |= P
(2) {P Q} |= Q P
(3) {P Q} |= ( P Q )
(4) {P} |= P Q
(5) {P Q} |= P Q
(6) {P Q, P} |= Q
(7) {P Q, Q} |= P
(8) { ( ( P Q ) S ) } |= P S
(9) { ( S ( P Q ) ) } |= S P
(10) {P Q} |= ( P Q )
(11) {P Q} |= ( P Q )
(12) { ( P Q ) ( P Q ) } |= P
2 LOGIKA 2

2. Formalizirajte sljedee argumente (zakljuke) i odredite jesu li

odgovarajui semantiki nizovi tautologije:

(1) Ako Igor dobije zgoditak na lotu, ja u dobiti 4000 kn. Ako dobijem
4000 kn, rijeiti u se dugova. Dakle, ako Igor dobije zgoditak na
lotu, rijeiti u se dugova.

(2) Igor nije i uspjean student i skromna osoba. Igor dakle nije uspjean
student ili nije skromna osoba.

(3) Ana je uspjena studentica. Dakle, Ana je uspjena studentica ili

skromna osoba.

(4) Ako je Bush ubijen, zemljom e zavladati kaos. Meutim, ako Bush
nije ubijen, takoer e zemljom zavladati kaos. Dakle, zemljom e
zavladati kaos.

(5) Boj je dobar i svemogu. Ako je Bog dobar i svemogu, onda zlo ne
postoji. Zlo meutim postoji. Bog dakle nije dobar ili nije svemogu.

3. Nakon formalizacije, odredite jesu li odgovarajui semantiki nizovi

tautologije:

(1) Ako Gina ili Hrvoje pobjeuju, onda i Ana i Luka gube utakmicu.
Gina pobjeuje. Ana stoga gubi utakmicu.

(2) Ako je Sinia jednom pobijedio vatrogasca u biljaru, onda Sinia

nije vatrogasac. Sinia je jednom pobijedio vatrogasca u bilijaru.
Ako je eljezniar Josip, onda Josip nije vatrogasac. eljezniar je
Josip. Ako Sinia nije vatrogasac i Josip nije vatrogasac, onda je
 Valjanost argumenta 3

Robert vatrogasac. Ako je zeljeznicar Josip i Robert je vatrogasac ,

onda je Sinia inenjer. Slijedi stoga da je Sinia inenjer.

(3) Ukoliko kia neprestano pada, rijeka poplavljuje. Ukoliko kia

neprestano pada a rijeka poplavi, most e se sruiti. Ukoliko padanje
kie izazove ruenje mosta, onda samo jedna preostala cesta nee biti
dovoljna za grad. Ili je jedna preostala cesta dovoljan za grad ili su
prometni inenjeri pogrijeili. Slijedi iz toga da su prometni inenjeri
pogrijeili.

(4) Ukoliko je Ana prisutna na sastanku, Boris je prisutan na sastanku.

Ako su Ana i Boris prisutni, onda e Kristijan ili Doris biti izabrani
za predsjednika Streljakog saveza. Ako su Kristijan ili Doris
izabrani, onda Erik ne dominira u Savezu. Ako Anino prisustvo
implicira da Erik ne dominira u Savezu, onda e Filip biti novi
predsjednik Saveza. Filip e stoga biti novi predsjednik Saveza.

4. Formalizirajte argument (zakljuak) i odredite je li odgovarajui

semantiki niz tautologija:

Ukoliko je Sinia prvi susjed bankara, onda on ivi na pola puta

izmeu Rijeke i Ljubljane. Ako Sinia ivi na pola puta izmeu Rijeke
i Ljubljane onda on ne ivi u Rijeci. Sinia je prvi susjed bankara. Ako
Robert ivi u Ljubljani onda on ne ivi u Rijeci. Robert ivi u Ljubljani.
Sinia ivi u Rijeci ili pak Robert ili Ivica ive u Rijeci. Ako Ivica ivi u
Rijeci, onda je on bankar. Bankar je dakle Ivica.
4 LOGIKA 2

5. Formalizirajte argument (zakljuak) i odredite je li konkluzija (zakljuni

sud) semantika posljedica premisa (prednjih sudova):

Ako su lingvistika istraivanja tona, onda ako je u Velikoj Grkoj

bilo prisutno vie od jednog dijalekta, razliita su se plemena u razliito
vrijeme sputala sa sjevera. Ako su se u razliito vrijeme razliita
plemena sputala sa sjevera, onda mora da su dolazila sa podruja oko
Dunava. No arheoloka bi istraivanja pronala tragove razliitih
plemena da su se razliita plemena u razliita vremena sputala sa
sjevera i arheoloka istraivanja nisu pronala tragove. Stoga, ako je u
Velikoj Grkoj bilo prisutno vie od jednog dijalekta onda linguistika
istraivanja nisu tona.

6. Formalizirajte argument (zakljuak) i odredite je li konkluzija (zakljuni

sud) semantika posljedica premisa (prednjih sudova):

U tankeru je bilo modificirani kukuruz bilo modificirana soja. Ako je

tanker stigao iz Velike Britanije, u njemu je genetski modificirani
kukuruz, a svakako je stigao iz te drave ako je u mjenu genetski
modificirani kukuruz ili genetsko modificirana soja. Prema tome, u
tankeru je genetski modificirani kukuruz.

7. Formalizirajte argument (zakljuak) i odredite je li odgovarajui

semantiki niz tautologija:

Ako ne budemo nastavili sa politikom odravanja cijena, izgubit emo

glasove seljaka. Ako budemo nastavili sa tom politikom, doi e do
hiperprodukcije ako ne preemo na kontrolu proizvodnje. Bez glasova
seljaka neemo biti ponovno izabrani. Dakle, ako ne budemo ponovno
izabrani i ne budemo kontrolirali proizvodnju, doi e do
hiperprodukcije.
 Valjanost argumenta 5

8. Formalizirajte argument (zakluak) i odredite da li konkluzija (zakljuni

sud) semantiki slijedi iz premisa (prednjih sudova):

Ako snijei, vonja autom biti e oteana. Ako snijei, zakasnit u na

ispit osim ako ne krenem ranije. Snijei. Moram stoga krenuti ranije ako
ne elim zakasniti.

RJEENJA

1. (1) Nije tautologija

(2) Tautologija
(3) Nije taut.
(4) Nije taut.
(5) Taut.
(6) Nije taut.
(8) Taut.
(11) Taut.
(12) Taut.

2. (1) Tautologija
(2) Taut.
(3) Taut.
(4) Taut.
(5) Taut.

3. (1) Tautologija.
(2) Taut.
(3) Taut.
(4) Taut.

4. Semantiki je niz tautologija.

6 LOGIKA 2

5. Konkluzija je semantika posljedica premisa.

6. Konkluzija je semantika posljedica premisa.

7. Semantiki niz nije tautologija.

8. Konkluzija semantiki slijedi iz premisa.

LITERATURA

Copi, I., i Cohen, C., 1994, Introduction to Logic, Macmillan Publishing

Company
Newton Smith, W. H., Logic An Introductory Course, Routledge
Logika 2 Struno-metodiki asopis za profesore i uenike gimnazija i
srednjih kola, Godina I, Broj 2, Zagreb 2000., Hrvatsko filozofsko
drutvo