OGLEDNI TEST I RJEŠENJA

U testu se ocjenjuju oba elementa: prijevodi (A) i razumijevanje logičkih svojstava i odnosa (B).
1. (B 4x2 boda; netočno zaokružena tvrdnja nosi minus bodove) Zaokruži oznaku ispred najviše 4 točne
tvrdnje.
i. Ako iskaz NIJE valjan, onda je nezadovoljiv.
ii. Iskaz je zadovoljiv ako i samo ako je istinit u TOČNO jednom retku.
iii. Ako X ekvivalentno s Y, onda je X proturječno s Y.
iv. Ako su X i Y međusobno ekvivalentni, onda je njihova dvopogodba tautologija.
v. Ako je Y zadovoljiv, a X nezadovoljiv, onda je njihova konjunkcija kontradikcija.
vi. Ako je Y kontradikcija, onda je zaključak u kojem je Y premisa valjan.
vii. Ako je Y kontradikcija, onda je zaključak u kojem je Y konkluzija nevaljan.
viii. Ako je X nevaljan, onda je i nezadoovljiv.

2.(B 2x2 boda) Napiši hrvatsku rečenicu koja je istovrijedna zadanoj prema navedenom zakonu istovrijednosti.
i. Nije tako da Anica voli palačinke ili čokoladu. (De Morgan)
ii. Ako Anica ne voli palačinke, onda ne voli ni čokoladu. (svođenje pogodbe)
i. _______________________________________________________________________________________
ii. _______________________________________________________________________________________

3. (B 2x2 boda) Napiši hrvatsku rečenicu koja je proturječna zadanoj ne započinjući izrazima Nije tako da i sl.
i. Anica voli palačinke ili ne voli čokoladu.
ii. Samo ako ne voli palačinke, Anica ne voli ni čokoladu ni orahe.
i. _______________________________________________________________________________________
ii. _______________________________________________________________________________________

4. Nadopuni zadane krnje zaključke tako da oni budu valjani prema oblicima , MT, MTP (DS) ili LANAC (HS) (B 3x2
boda). Sve zaključke prikaži kao pogodbu (A 3 x 2 boda za prijevod i B 3 x 1 bod za pogodbu) i nekom metodom dokaži da
su zaključci valjani (B 3 x 2 boda za dokaz).

i. Samo ako Janica i Anica idu na skijanje, nije magla. Nije magla. Dakle, (?)
ii. Ni Janica ni Anica ne idu na skijanje ili je hladno i ima snijega. Nije hladno ili nema snijega. Dakle, (?)
iii. U slučaju da Janica ide na skijanje, ide i Anica. (?) Dakle, ako Janica ide na skijanje, hladno je i ima snijega.
Odgovori:
i.
ii.
iii.
Dokazi valjanosti:
5. Zaokruži oznaku ispred valjanih i prekriži oznaku ispred nevaljanih zaključaka (B 3 x 1 bod) . Odredite kojeg oblika su
valjani zaključci i koja je pogrješka načinjena u nevaljanima (B 3 x 1 bod). Nekom metodom dokaži da su valjani valjani,
a nevaljani nevaljani i za nevaljane navedi protuprimjer (B 3 x 3 boda). Za prijevode i dijagramiranje (A 3 x 4 boda)
i. Anica ne ide ili Marko ne ide na skijanje. Naime, lijepo je vrijeme ili i Anica i Marko idu na skijanje. A vrijeme je lijepo.
ii. Ako pada kiša, Anica ili Marko idu na Sljeme.. Prema tome pada kiša, jer Anica ili Marko idu na Sljeme.
iii. Anica i Marko idu na Sljeme. Samo ako ne pada kiša, Anica i Marko idu na Sljeme. Stoga ne pada kiša.

6. Zaokruži oznaku ispred valjanog zaključka i prekriži oznaku ispred nevaljanog (B 3 x 1 bod). U nevaljanom zaključku
izmijeni MANJU1 premisu tako da zaključak bude valjan prema oblicima MP, MT ili MTP (B X x 2 boda). Nekom
metodom dokaži da su sada (nakon izmjene) SVI zaključci valjani (B 3 x 3 boda). Za prijevode (A 3 x 2 boda).
i. Ako Anica ili Marko idu na Sljeme, onda na Sljemenu ima snijega. Anica ide na Sljeme. Dakle, na Sljemenu ima snijega.
ii. Anica ide na Sljeme samo ako idu Marko ili Borna. Prema tome, Anica ne ide na Sljeme, jer Marko ne ide na Sljeme.
iii. Anica ne ide na Sljeme. Naime, Borna ne ide ili Marko ide na Sljeme. A Samo ako Anica ide na Sljeme, onda ako ide Borna,
ide i Marko.

1
MANJA PREMISA u kontekstu zadatka je ona premisa koja bilo potvrđuje bilo niječe posljedak ili prednjak pogodbe, odnosno
disjunkt (sastvanicu) disjunkcije.
RJEŠENJA I OBJAŠNJENJA

1. (B 4 boda) Zaokruži oznaku ispred najviše 4 točne tvrdnje.

Rješenja:
a. Netočno, jer iskaz može biti nevaljan i zadovoljiv.
b. Netočno, jer je iskaz zadovoljiv ako je istinit u BAREM jednom retku, dakle može biti i više nego jednom retku.
c. Da, jer iskazi koji su međusobnmo ekvivalentni imaju u svakom retku međusobno istu vrijednost. Ako pak jednog
od njih niječemo, on će u svakom retku imati različitu vrijednost od drugoga, stoga slijedi da su proturječni.
d. Da, jer je dvopogodba istinita ako iskazi imaju istu istinitosnu vrijednost.
e. Da, jer je konjunkcija istinita samo u slučaju da su obje sastavnice istinite, a kako je kontradikcija uvijek neistinita,
onda će i konjunkcija biti uvijek neistinita, dakle kontradikcija.
f. Da, jer ako je barem jedna premisa neistinita, onda neće biti protuprimjera – slučaja da su sve premise istinite a
konkluzija neistinita.
g. Ne, jer u slučaju da je konkluzija zaključka kontradikcija, može biti da premise čine nezadovoljiv skup iskaza
(kontradikcija) pa neće biti ptoruprimjera.
h. Ne, jer iskaz može biti nevaljan i zadovoljiv.

2. (B 4 boda) Napiši hrvatsku rečenicu koja je istovrijedna zadanoj prema navedenom zakonu istovrijednosti.

i. Nije tako da Anica voli palačinke ili čokoladu. (De Morgan)

Istovrijedna hrvatska rečenica: Anica ne voli ni palačinke ni čokoladu.
Obrazloženje: Prijevod zadane: (P  C); Istovrijedni iskaz: P  C

ii. Ako Anica ne voli palačinke, onda ne voli ni čokoladu. (svođenje pogodbe)
Istovrijedna hrvatska rečenica: Anica voli palačinke ili ne voli čokoladu.
Obrazloženje: Prijevod zadane: P  C; Istovrijedni iskaz: P  C  P  C

3. (B 4 boda) Napiši hrvatsku rečenicu koja je proturječna zadanoj ne započinjući izrazima Nije tako da i sl.

i. Anica voli palačinke ili ne voli čokoladu.

Proturječna hrvatska rečenica: Premda Anica ne voli palačinke, voli čokoladu.
Obrazloženje: Prijevod zadane: P  C; Proturječni iskaz: (P  C)  P  C  P  C

ii. Samo ako ne voli palačinke, Anica ne voli ni čokoladu ni orahe.

Proturječna hrvatska rečenica: Anica ne voli ni čokoladu ni orahe, ali voli palačinke.
Obrazloženje: Prijevod zadane: (C  O)  P; Proturječni iskaz: ((C  O)  P)  (C  O)  P

4. Nadopuni zadane krnje zaključke tako da oni budu valjani prema oblicima , MT, MTP (DS) ili LANAC (HS) (B 3x2
boda). Sve zaključke prikaži kao pogodbu (A 3 x 2 boda za prijevod i B 3 x 1 bod za pogodbu) i nekom metodom dokaži da
su pogodbe valjane (B 3 x 2 boda za dokaz).

i. Samo ako Janica i Anica idu na skijanje, nije magla. Nije magla. Dakle, (?)
ii. Ni Janica ni Anica ne idu na skijanje ili je hladno i ima snijega. Nije hladno ili nema snijega. Dakle, (?)
iii. U slučaju da Janica ide na skijanje, ide i Anica. (?) Dakle, ako Janica ide na skijanje, hladno je i ima snijega.
Odgovori:
i. Janica i Anica idu na skijanje. (Modus ponens)
ii. Ni Janica ni Anica ne idu na skijanje. (Modus tollendo ponens) Objašnjenje: H  S je prema De Morganu istovrijedno s
negacijom posljetka, to jest s iskazom  (H  S). Zaniječemo li jedan disjunkt, drugi potvrđujemo.
iii. Ako Anica ide na skijanje, hladno je i ima snijega. (Lanac)
Zaključci kao pogodbe i dokazi valjanosti:

1 (((M  (J  A))  M)  (J  A)) √  1  ((((J  A)  (H  S))  (H   S))  (J  A)) √
2 (M  (J  A))  M√ 1 
3 (J  A) √ 1 2 ((J  A)  (H  S))  (H   S) √
4 M  (J  A) √ 1
2 3 (J  A) √
5 M 1
2 4 (J  A)  (H  S) √
2
6 M J  A√ 4 5 H  S√
7 M 2
x
8 J 6 6 J√ A√
3
9 A 6
7 J A
6
10 J A 3
x x 8 J  A√ H  S√ J  A√ H  S√ 4
Sve su staze zatvorene. Pogodba je valjana, stoga je i 9 J J
zaključak valjan. 8
10 A A 8
x x
11 H H
8
12 S S 8

13 H S H S
5
x x x x
Sve su staze zatvorene. Pogodba je valjana, stoga je i zaključak
valjan.

1 (((J  A)  (A  (H  S)))  (J  (H  S))) √


2 (J  A)  (A  (H  S)) √ 1
3  (J  (H  S) √ 1 Sva tri stabla mogu biti i kraća ako dijelom odstupimo od
4 J 3 strogih pravila stabla. Pogledaj skraćenje riješenih stabala na
5 (H  S) √ 3 sljedećoj stranici.
6 J  A√ 2
7 A  (H  S) √ 2

8 J A
6
x
9 A H  S√ 7
x
10 H 9
11 S 9

12 H S 5
x x
Sve su staze zatvorene. Pogodba je valjana, stoga je i
zaključak valjan.
Skraćena stabla

1 (((M  (J  A))  M)  (J  A)) √  1  ((((J  A)  (H  S))  (H   S))  (J  A)) √
2 (M  (J  A))  M√ 1 
3 (J  A) 2 ((J  A)  (H  S))  (H   S) √
1 1
4 M  (J  A) √ 3 (J  A)
2 1
5 M 4 (J  A)  (H  S) √
2 2
5 H  S√
6 M JA 2
4
x x (3,6) 6 J  A HS√
4
x (3,6)

Dvostruku negaciju možete napraviti direktno, npr. u 6 7 H

retku odmah pisati M ili pisati M i odmah križić bez 6
da pišete dalje M. 8 S
I desnu stazu zatvaramo u 6 retku. To dopuštam uz kratko 6
objašnjenje tako da uz križić navedemo retke iz kojih se
vidi proturječje.
13 H S
5
x x
Slično možemo skratiti stablo za (ii).
1 (((J  A)  (A  (H  S)))  (J  (H  S))) √ Gornje stablo za (ii) može biti još kraće:

1  ((((J  A)  (H  S))  (H   S))  (J  A)) √
2 (J  A)  (A  (H  S)) √ 1

3  (J  (H  S)) √
1 2 ((J  A)  (H  S))  (H   S) √
4 J 3 1
5 (H  S) √ 3 3 (J  A)
1
6 J  A√ 2
4 (J  A)  (H  S) √
7 A  (H  S) √ 2
2
5 H  S
8 J A 2
6
x 6 J  A HS
9 A HS 4
7 x (3,6) x (5,6)
x x (5,9)
Ovdje treba uvidjeti da su H  S i H  S u proturječju. Naime
(H  S)  H  S
5. Zaokruži oznaku ispred valjanih i prekriži oznaku ispred nevaljanih zaključaka (B 3 x 1 bod) . Odredite kojeg oblika su
valjani zaključci i koja je pogrješka načinjena u nevaljanima (B 3 x 1 bod). Nekom metodom dokaži da su valjani valjani,
a nevaljani nevaljani i za nevaljane navedi protuprimjer (B 3 x 3 boda). Za prijevode i dijagramiranje (A 3 x 4 boda)
i. Anica ne ide ili Marko ne ide na skijanje. Naime, lijepo je vrijeme ili i Anica i Marko idu na skijanje. A vrijeme je lijepo.
ii. Ako pada kiša, Anica ili Marko idu na Sljeme.. Prema tome pada kiša, jer Anica ili Marko idu na Sljeme.
iii. Anica i Marko idu na Sljeme. Samo ako ne pada kiša, Anica i Marko idu na Sljeme. Stoga ne pada kiša.
i. Nevaljani zaključak; afirmacija disjunkta.
ii. Nevaljani zaključak; afirmacija konsekventa
iii. Valjani zaključak; modus ponens

1 L  (A  M) √ 1 K  (A  M) √ 1 (A  M)  K√
2 L 2 A  M√ 2 A  M√
3 (A  M) √  3 K  3 K√ 
4 A√ 3 4 K 3
5 M √ 3 4 K A  M√ 1 5 A 2
6 A 4 6 M 2
7 M 5 5 A M A M 2
° ° 7 (A  M) √ K
8 L A  M√ 1 1
9 ° A 8 6 A M A M 4 x
10 M 8 ° ° ° ° 8 A M
° 7
Protuprimjer: A  L  M Protuprimjer: A  K  M ili x x
A  K  M ili A  K  M

6. Zaokruži oznaku ispred valjanog zaključka i prekriži oznaku ispred nevaljanog (B 3 x 1 bod). U nevaljanom zaključku
izmijeni MANJU2 premisu tako da zaključak bude valjan prema oblicima MP, MT ili MTP (B X x 2 boda). Nekom
metodom dokaži da su sada (nakon izmjene) SVI zaključci valjani (B 3 x 3 boda). Za prijevode (A 3 x 2 boda).

i. Ako Anica ili Marko idu na Sljeme, onda na Sljemenu ima snijega. Anica ide na Sljeme. Dakle, na Sljemenu ima snijega.
Oblik/promjena premise: Valjani zaključak, modus ponens
ii. Anica ide na Sljeme samo ako idu Marko ili Borna. Marko ne ide na Sljeme. Dakle, Anica ne ide na Sljeme.
Oblik/promjena premise: Nevaljani zaključak, Druga premisa ne uspijeva zanijekti posljedak pogodbe. Naime, A  (M 
B) je P(1). Da bismo zanijekali posljedak moramo zanijekati oba disjunkta, dakle B  M. Druga premisa treba glasiti:
Ni Marko ni Borna ne idu na Sljeme.
iii. Samo ako Anica ide na Sljeme, onda ako ide Borna, ide i Marko. Borna ne ide ili Marko ide na Sljeme. Dakle, Anica ide na
Sljeme.
Oblik/promjena premise: Valjani zaključak. (B  M)  A i B  M, dakle A. Iskaz B  M potvrđuje prednjak B  M,
istovrijedni su.

1 (A  M)  S√ 1 A  (M  B) √ 1 (B  M)  A√
2 A 2 M  B√ 2 B  M√
3 S  3 A√  3 A 
4 A 3
4 (A  M) √ S 1 5 M 2 4 (B  M) √ A 1
x 6 B 2 x
5 A 4 5 B 4
6 M 4 7 A M  B√ 1 6 M 4
x x
8 M B 7 7 B M 2
Sve staze su zatvorene. zaključak je x x x x
valjan.

2
MANJA PREMISA u kontekstu zadatka je ona premisa koja bilo potvrđuje bilo niječe posljedak ili prednjak pogodbe, odnosno
disjunkt (sastvanicu) disjunkcije.