1. Kada je iskaz valjan?

2. Što je kontingentni iskaz?

3. Kada je pogodba (kondicional) istinita?

4. Što je protuprimjer?

5. Što je tautologija?

6. Kakva je istinitosna vrijednost složenost iskaza ako su oba konjunka u njemu istinita?

7. Kakva je istinitosna vrijednost složenost iskaza u kojem je konzekvens istinit, a antecedens

neistinit?

8. Kada je bikondicional neistinit?

9. Napravi tablicu za sljedeće iskaze:

1. ¬ ( S ➝ ( Q ∧ ¬ S))

2. ( S ➝ P ) ∨ ¬ ( P ∧ ¬ S)

3. ¬((S➝P)➝(Q∧R))

4. R ➝ ¬Q

5. ¬ ( ¬ P∧S )

10. Prevedi (formaliziraj) na jezik iskazne logike sljede e re enice prirodnog jezika. Prije
prijevoda navedi iskazna slova i njihovo zna enja te koristi kroz cijeli šesti zadatak ista
iskazna slova za iste jednostavne iskaze. (16; 1+3 boda za svaki podzadatak - jedan bod za
potpuno navođenje jednostavnih iskaza i iskaznih slova, tri boda za potpuno to an prijevod,
svaka pogreška u prijevodu zna i oduzimanje jednog boda) :

a) Ako i samo ako Andrija vjeruje samo sebi onda Andrija ne vjeruje nikome drugome.

b) Ako Andrija ne vjeruje nikome drugome i ako Andrija vjeruje samome sebi, onda nije tako
da Andrija vjeruje nekome drugome.

c) Ako i samo ako Andrija vjeruje nekome drugome onda i netko drugi vjeruje Andriji.

d) Nije tako da netko drugi vjeruje Andriji i da Andrija vjeruje nekome drugome.


















č

č
ć
č


č







 11. Provjeri je li zaklju ak koji se sastoji od iskaza iz prethodnog zadatka valjan, ako su podiskazi
a, b i c premise, a podiskaz d konkluzija. Valjanost takvog zaklju ka provjeri metodom
istinitosnog stabla. (6 - jedan bod za dobro postavljen zadatak, etiri boda za potpuno riješeno
stablo i jedan bod za određivanje je li zaklju ak valjan.)

12. Provjeri metodom reductio ad absurdum valjanost zadanog iskaza.

¬ [ S ∨ ¬ ( Q → S)] → [ ( Q ∨ ¬ Q) ⋀ (¬ S ∨ P)]

13. Napravi istinitosnu tablicu za iskaza.

S P Q ¬ [ S ∨ ¬ ( Q → S)] → [ ( Q ∨ ¬ Q) ⋀ ( ¬ S ∨ P)]













č


č






č
č


 a) Negacija b) Konjunkcija c) Disjunkcija d) Implikacija e) Bikondicija
¬S S∧P S∨P S→P S↔P
⊥⊤ ⊤⊤⊤ ⊤⊤⊤ ⊤⊤⊤ ⊤⊤⊤
⊤⊥⊥ ⊤⊤⊥ ⊤⊥⊥ ⊤⊥⊥
⊤⊥ ⊥⊤⊥ ⊥⊤⊤ ⊥⊤⊤ ⊥⊥⊤
⊥⊥⊥ ⊥⊥⊥ ⊥⊤⊥ ⊥⊤⊥

14. Formaliziraj re enice i napravi istinitosnu tablicu za dobivene iskaze.

• Knjiga je na stolu ili u torbi.

• Ako je knjiga na stolu, onda nije u torbi.

• Ako i samo ako je knjiga u torbi i nije na stolu, onda u knjigu vratiti u knjižnicu.

• Knjigu u vratiti u knjižnicu ili nisam pro itao knjigu i ne u ju vratiti u knjižnicu.

• Ako knjigu vratim u knjižnicu, posudit u knjigu koju trebam pro itati za lektiru, a ako
posudim knjigu
koju trebam pro itati za lektiru ne u markirati sljede i tjedan.

• Samo ako vratim knjigu na vrijeme ne u platiti zakasninu.

ć
č
č




ć
ć
ć


č
ć
ć
ć




č





 15. Prevedi/formaliziraj zadane re enice na jezik logike sudova.

B - Bob redovno trenira;

C - Carol redovno trenira

a) Bob i Carol redovno treniraju.

b) Bob ili Carol redovno treniraju.
c) Nije tako da i Bob i Carol redovno treniraju.
d) Ako je tako da Carol redovno trenira, onda nije tako da Bob redovno trenira.
e) Samo ako je tako da Carol i Bob redovno treniraju, onda nije tako da ako i samo ako Bob
redovno trenira, Carol ne trenira redovno.

16. Dovrši istinitosnu tablicu za zadani sud/iskaz/propoziciju:

AB ( A ∧ ¬ B) ↔ ¬ ( A ➝ B)

ABC ( A ∧ ¬ B) ↔ ¬ ( ( C ➝ ¬ A) ∨ ¬ ( A ➝ ¬ C))














č













 17. Formaliziraj sljede e zaklju ke:

a) Ako je danas u Rijeci padala kiša, onda je u Rijeci bilo i obla no. Dakle, ako danas u
Rijeci nije bilo obla no, onda u Rijeci nije padala kiša.

b) Ako je danas u Rijeci padala kiša, onda je u Rijeci i bilo obla no. Danas je u Rijeci bilo
hladno i padala je kiša. Dakle, danas je u Rijeci bilo obla no i hladno.

c) Danas je u Rijeci padala kiša samo ako je u Rijeci bilo i obla no. No, danas je u Rijeci
bilo sun ano ali ne i obla no. Dakle, danas je u Rijeci bilo sun ano i nije padala kiša.

d) Ako se danas iz Zagreba vidjela duga, onda je u Rijeci padala kiša. Ako je danas u Rijeci
padala kiša, onda je u Rijeci bilo i obla no. Dakle, danas se iz Rijeke vidjela duga samo ako
je u Rijeci bilo i obla no.

e) Ako je danas u Rijeci bilo sun ano, onda nije bilo hladno. No, ako je bilo obla no, u
Rijeci je bilo hladno. Dakle, ako je danas u Rijeci bilo obla no, onda nije bilo sun ano.

18. Provjeri valjanost zaklju aka iz 1. zadatka, ako je to mogu e, metodom reductio ad absurdum.

19. Pretvori zaklju ke iz 1. zadatka u iskaze.

20. Iskaze iz 3. zadatka pretvori u istovrijedne iskaze u kojima eš koristiti iskazna slova koja se
nalaze u zadanim iskazima te (, ), ¬, ∧.

21. Provjeri pomo u istinitosnog stabla zadovoljivost/kontingentnost i valajnost/tatutologiju iskaza

iz 1. zadatka.

22. Provjeri pomo u istinitosnog stabla istovrijednost po etnih iskaza iz 4. zadatka i iskaza koje si
dobila/ dobio kao istovrijedni iskaz u kojem si koristila/koristio kao veznike samo negaciju i
konjunkciju.
č



ć
ć
č
ć
č
č
č
č


č

č

č

č


č
ć
ć
č
č
č
č
č


č
č





 23. A) Metoda reductio ad absurdum

a) provjera zadovoljivosti/kontongentnosti iskaza:

24. Iskaz je zadovoljiv ako je istinit za barem jedno istinitosno vrednovanje.

Pretpostavljamo da je iskaz istinit i provjeravamo je li to mogu e; ako je mogu e pokazli smo
da je iskaz zadovljiv (jer je mogu barem jedan slu aj kada je istinit), a ako pak to nije mogu e
ako je došlo do ne- dosljednosti u postupku (P, ¬P) te smo tima pokazali da iskaz nije
zadovoljiv (jer nije mogu niti jedan slu aj u kojem je iskaz istinit).

25. ¬ [(Q∧P) →¬Q]

¬ (S→P) ∧ [¬S ∨ (¬ P ∧ ¬ S)]
¬ [(A ∧ B) → ¬ (B ∧ A)] ∧ [¬ (A ∧ B) → ¬ (B ∧ A)]

26. b) provjera valajnosti/tautologije iskaza:

27. Iskaz je valjan ako je istinit za svako istinitosno vrednovanje.

Pretpostavljamo da je iskaz neistinit, kako bismo provjerili je li mogu slu aj u kojem je iskaz
neistinit; ako je to mogu e zna i da iskaz nije valjan (mogu e je da je neistinit); ako to pak nije
mogu e (došlo je do ne- dosljednosti u postupku: P, ¬P) to zna i da je nemogu e da je iskaz
neistinit, tj. iskaz je istinit za svako istini- tosno vrednovanje.

28. (¬ R ∧ Q) ∨ ¬ [( ¬ S ∧ P ) ∧ ( Q ∨ S )]
[(¬ P → Q) ∨ (¬ Q ↔ P)] ∨ [Q ∨ ( ¬ Q ∧ ¬ P)]

29. c) provjera valjanosti zaklju ka:

30. Zaklju ak je valjan ako ne postoji protuprimjer. Protuprimjer je slu aj kada su sve premise
istinite, a iz njih slijedi neistinita konkluzija. Kod provjere valjanosti zaklju ak MRAA
pretpostavlja se protuprimjer. Ako se pokaže da je protuprimjer mogu zaklju ak nije valjan.
Ako dođe do nedosljednosti (P, ¬P) to zna i da pro- tuprimjer nije mogu i da je zaklju ak
valjan.

31. M→(K→B) ¬ K →M L∧M _ B

32. (D ↔ ¬ G) ∧ G
{G ∨ [( A → D) ∧ A]} → ¬ D G →¬ D

33. Dva su iskaza istovrijedna ako imaju iste vrijednosti za sva istinitosna vrednovanja.
Istovrijednost se metodom RAA provjerava kroz dva reda, tako da se pretpostavlja da su iskazi
razli itih vrijednosti (u prvom redu je prvi iskaz to an, a drugi iskaz neto an, a u drugom redu
je prvi iskaz neto an, a drugi iskaz to an). Ako je u barem jednom redu mogu e da su iskazi
razli ite vrijednosti nisu istovrijedni.

34. Formaliziraj sljede e re enice (prevedi s prirodnog jezika na jezik iskazne logike):
a) Ako nastavnik ne e mo i ispravno izgovoriti Siobhanovo ime, Robert i Juraj e se smijati.
b) Automobil je upaljen i u rezervoaru ima dovoljno goriva, ili nije tako da je automobil
č
č
ć
č





č
ć
ć
č
ć
ć
ć
č


č

ć


č



č

č

č

č

ć



č
ć
č

ć
ć
ć


č
č
č
č
ć
ć
ć
ć


č
ć
 upaljen i da u sti i na vrijeme u školu.
c) Ako i samo ako uspijem upaliti automobil i u rezervoaru imam dovoljno goriva, sti i u na
vrijeme u školu, ili ako nema dovoljno goriva ili automobil ne uspijem upaliti, ne u sti i na
vrijeme u školu.
d) Ako je Alfred eminentan logi ar onda su i Kurt i Alfred eminentni logi ari.

35. Formaliziraj sljede i zaklju ak (prevedi s prirodnog jezika na jezik iskazne logike):

Kurt i Alfred su eminentni logi ari ako i samo ako je Kurt eminentan logi ar ili je Albert
eminentan logi ar. Albert je eminentan logi ar.
Nije tako da Kurt nije eminantan logi ar ako Albert nije eminentan logi ar.
Dakle, Albert i Kurt su eminentni logi ari.

Provjeri valjanost dobivenog zaključka istinistosnim (semantičkim) stablom.




ć
č


ć
ć
č
č
č
č
č




č


č
č
č



ć

ć
ć
ć