A 1. 13(16) Zadani su iskazi X: (A  (B  A))  A, Y: (A  (B  A)), Z: A  (A  B).

Izradi njihove istinitosne tablice 6(9) :

A B (A  (B   A))   A  (A   (B  A)) A  (A  B)
I I
I N
N I
N N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 1 Je li skup iskaza {A,B,X,Y,Z} zadovoljiv?

1.2 1 Postoje li dva različita iskaza u tom skupu koji su jedan drugom i nužan i dovoljan uvjet?

1.32 Nabroji nevaljane zaključke, unutar kojih se iskazi ne ponavljaju, bilo da sadrže jednu ili dvije premise, a sačinjeni su od iskaza A, B, X

1.4 1 Koji iskaz iz početnog peteročlanog skupa ima najveći broj nužnih uvjeta, članova istog skupa?

1.5 2 Na osnovi izrađene tablice, izrazi iskaze X, Y i Z kao što jednostavnije disjunkcije.

2.8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1. Je li zaključak (A  B)  (C  A) C  B | A valjan? _____
2.2. Jesu li iskazi (A  (B  C)) i (B  (A  C)) istovrijedni? ______

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1. Da je Brukvelija dobila posao, bez posla sigurno ne bi ostala Lavoreta, kao ni neki spomenuti muškarac.

3.2. Ova je tvrtka feministički usmjerena, pa prima samo žene, što ne znači da će ikoga primiti.

3.3. Postoji muškarac koji će ostati bez posla, ali takva žena ne postoji.

3.4. Kao što neće svi kandidati za radno mjesto stolara dobiti posao, tako ni svaki muškarac neće dobiti posao.

3.5. Neizbježno je zapošljavanje barem jedne žene, zaposli li se Mahagon.

4.1* 2 Dovrši valjani zaključak: Ako je A  Y  A  X, te je A ___________ , slijedi da su X i Y istovrijedni. Obrazloži svoje rješenje!
4.2* 2 Može li u nekom višečlanom skupu iskaza točno jedan od njih biti nužan i dovoljan uvjet svima? A može li u nekom višečlanom skupu
iskaza točno jedan od njih ne biti nužan i dovoljan uvjet svima? Obrazloži!
B 1. 13(16) Zadani su iskazi X: ((A  B)  A)  A, Y: A  (B  A), Z: ((A  B)  A) Izradi njihove istinitosne tablice 6(9) :

A B ((A   B)   A)  A  A  ( B  A)  ( (A   B)   A)
I I
I N
N I
N N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 2 Navedi sve tročlane zadovoljive skupove različitih iskaza iz skupa {A,B,X,Y,Z}!

1.2 1 Koji različiti iskazi imaju zajedničke dovoljne uvjete?

1.3 1 Iz kojeg para premisa slijedi svaki iskaz?

1.4 1 Postoji li iskaz koji slijedi iz svakog iskaza zadanog skupa?

1.5 2 Na osnovi izrađene tablice, izrazi iskaze X, Y, Z što jednostavnije!

2. 8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1. Je li iskaz (A  (B  C))  (B  (A  C)) valjan? _________
2.2. Je li skup iskaza {A  (B  C) , B  (A  C) , (C  A)  B } zadovoljiv? __________

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1. Kada bi se obje žene zaposlile, nijedan muškarac ne bi dobio posao.

3.2. Tvrtka će za svako prijavljeno zvanje zaposliti barem jednu osobu.

3.3. Niti je svatko primljen za stolarske poslove, niti je itko primljen za poslove spremanja i čišćenja.

3.4. Neistinito je tvrditi da čim neka žena ne dobije posao, neki se muškarac mora zaposliti.

3.5. Tvrtka ne smije primiti nijednog muškarca primi li stolarku Brukveliju.

4.1 * 2 Zadan je skup iskaza koji sačinjavaju iskazi A, B, C, D, međusobno neistovrijedni, a sastavljeni od jednostavnih podiskaza P i R.
Mora li neki od iskaza zadanog skupa biti dovoljan uvjet nekom drugom iskazu istog skupa? Zašto?
4.2. * 2 Ako je A ili nužan ili dovoljan uvjet iskazu B, je li B ili nužan ili dovoljan uvjet iskazu A? Obrazloži!
C 1. 13(16) Zadani su iskazi X: ((A B)  A)  A , Y:  (A  (B  A)), Z: A   (B   A) Izradi njihove istinitosne tablice 6(9) :

A B ((A  B)   A)  A  (  A  (B  A)) A   (B   A)
I I
I N
N I
N N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.12 Nabroji sve tročlane zadovoljive skupove različitih iskaza skupa {A,B,X,Y,Z}!

1.2 1 Za koji podskup iskaza vrijedi da svaki član tog podskupa slijedi iz istih iskaza iz kojih slijedi i svaki drugi član istog podskupa?

1.3 1 Postoji li iskaz iz kojeg ne slijedi nijedan drugi iskaz?

1.4 2 Iskazi za koje ne vrijedi da su nužni uvjeti samo sebi su:

1.5 1 Na osnovi izrađene tablice, izrazi iskaze X, Y, Z što jednostavnije!

2. 8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1 Jesu li iskazi (A  C)  B i (B  A)  C istovrijedni? ________
2.2 Je li iskaz ((A  B)  C)  ((A  C)  (B  C)) zadovoljiv? _______

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1 Samo ako bi se zaposlila barem jedna žena, neki bi muškarac ostao nezaposlen.

3.2 Oboje stolara će biti primljeno, ali ne i svatko tko se prijavio za poslove spremača/ice.

3.3 Nijedna žena neće dobiti posao, kao ni barem jedan muškarac.

3.4 Od načela da na isti tip posla neće biti primljeni pripadnici različitih spolova, tvrtka neće odstupiti.

3.5 Nemoguće je ne zaposliti Lavoretu bez da se zaposli Krpelda.

4.1 * 2 Ako je P nužan uvjet iskazu R, tada __________ (postoji/ne postoji) vrjednovanje za koje je ____ neistinit, a ____ istinit, dakle, tada
je za (svako/neko) vrjednovanje konjunkcija (koja?) _________ (kakve istinitosti?) _________ , pa je, slijedom zadnje utvrđenog, iskaz
______ valjan.
4.2 * 2 Ako je A nužan uvjet za B upravo ako je B nužan uvjet za A, slijedi li da su A i B istovrijedni? Obrazloži!
D 1. 13(16) Zadani su iskazi X: (A  (B  A))  A, Y: (A  (B  A)), Z: (A  B)  A. Izradi njihove istinitosne tablice 6(9) :

A B (A   (B  A))  A  ( A  ( B  A)) (A  B)  A

I I
I N
N I
N N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 2 Nabroji sve parove neistovrijednih iskaza!

1.2 1 Postoji li par iskaza za koji vrijedi da postoji neki treći koji je nužan uvjet jednom i ujedno dovoljan uvjet drugom iskazu tog para?

1.3 1 Za koje iskaze vrijedi da slijede samo iz sebe?

1.4 2 Iz kojih parova premisa slijedi svaki iskaz zadanog skupa?

1.5 1 Na osnovi izrađenih tablica izrazi iskaze X, Y, Z što jednostavnije!

2. 8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1 Je li skup iskaza { (A  B)  C , A  (B  C) } zadovoljiv? _________
2.2 Je li zaključak A  (B  C) (A  B)  C | (B  A)  C valjan? _______

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1 Da se nijedan muški kandidat nije zaposlio, nijedna žena ne bi ostala bez posla.

3.2 Tvrtka neće zapošljavati ni stolare, ni spremače, neovisno o njihovom spolu.

3.3 Tvrtka će, kako na mjestu stolara, tako i na mjestu spremača/ice, zaposliti ili muškarca, ili ženu.

3.4 Nije svaki muškarac takav da će dobiti posao, ako je svaka žena takva da neće dobiti posao.

3.5 Kako pri zapošljavanju prođe jedan muškarac, proći će i drugi.

4.1 * 2 Ako iz X slijedi njegov dovoljan uvjet Y, što možemo reći o odnosu iskaza X i Y? Obrazloži!
4.2 * 2 Ako je skup iskaza {I1, I2, I3, I4, ... , In} nezadovoljiv, a svaki njegov manji podskup zadovoljiv, koji su sve zaključci valjani? Pazi na
formalno propisan zapis!
E 1. 13(16) Izradi 6(9) istinitosne tablice iskazima X:  ( (A  B)  B) , Y: (((A  B)  A)  B)  A , Z: (A  (B  A))  B. :

A B  (  (A  B)   B) (((A  B)   A)  B)  A (A   (B   A))   B
I I
I N
N I
N N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 1 Je li skup iskaza {A,B,X,Y,Z} zadovoljiv? Zašto?

1.2 2 Postoji li neki nezadovoljivi podskup zadanog skupa? Ako da, koji? Ako ne, zašto?

1.32 Nabroji sve nevaljane zaključke s tri različite premise, sastavljene od iskaza zadanog skupa!

1.41 Dovrši sljedeću istinitu rečenicu: Iskaz _____ je dovoljan uvjet iskazima ______ , a nužan uvjet samo iskazu Z, a nije ni nužan ni
dovoljan uvjet iskazima ___________ .

1.5 1 Je li iskaz «nema istine u izjavi da nema retka u kojem nema istinitog iskaza» istinit? Zašto?

2.8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1. Jesu li iskazi (A  B)  (A  B) i A  B istovrijedni? ________
2.2. Je li skup iskaza { (M  K)  (K  M) , (M  K) } zadovoljiv? ________

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki. Neka
iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti posao i
Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd. , te ako
pretpostavimo da tvrtka na određeno radno mjesto može primiti samo one koji su se za to radno mjesto prijavili, pronađi odgovarajuće
(koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1. Ma tko bude primljen za stolara, neće biti istog spola onome tko bude primljen za poslove spremanja i čišćenja.

3.2. Samo ako se uposli neka žena, oba će muškarca ostati bez posla.

3.3. Na barem jedno radno mjesto biti će primljen svatko prijavljen.

3.4. Ni na koje radno mjesto neće biti primljeni svi kandidati.

3.5. Zaposlit će se više muškaraca nego žena.

4.1* 2 Jesu li sudovi «P i R nisu istovrijedni samo ako P nije nužan uvjet za R» i «P je za R nužan uvjet upravo ako je i dovoljan»
istovrijedni?
4.2* 2 Dovrši ovaj valjani zaključak zasnovan na slijedu po istovrijednosti! P je ili nužan, ili dovoljan uvjet za R. Dakle, ili ne postoji
vrednovanje za koje je P _______ , a R _______ , ili ne postoji vrednovanje za koje je P _______ , a R ________ . Dakle, ili postoji
vrednovanje za koje je P ________ , a R __________ , ili postoji vrednovanje za koje je P ________ , a R ________ .
4.3* 2 Složi sve kombinacije sudova koji su istovrijedni sudu «P je ili nužan, ili dovoljan uvjet za R» prema zadanim sastavnicama i
redoslijedu, tako da svaki put biraš po jedan izraz iz zagrada:
P (je, nije) (nužan, dovoljan) uvjet za R upravo ako P (je, nije) (nužan, dovoljan) uvjet za R.
A 1. 13(16) Zadani su iskazi X: (A  (B  A))  A, Y: (A  (B  A)), Z: A  (A  B). Izradi njihove istinitosne tablice 6(9) :

A B (A  (B   A))   A  (A   (B  A)) A  (A  B)
I I I N I N N I I N N I I I I I I
I N I N I N N I N N N I N N I N N
N I I I I N N I I
N N I I I N N I I

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 1 Je li skup iskaza {A,B,X,Y,Z} zadovoljiv?
Da. U prvom retku su svi iskazi tog skupa istiniti.
1.2 1 Postoje li dva različita iskaza u tom skupu koji su jedan drugom i nužan i dovoljan uvjet?
Da. To su iskazi X i Z.
1.32 Nabroji nevaljane zaključke, unutar kojih se iskazi ne ponavljaju, bilo da sadrže jednu ili dvije premise, a sačinjeni su od iskaza A, B, X
BX | A , A | X , X | B , A | B , B | A , X | A .
1.4 1 Koji iskaz iz početnog peteročlanog skupa ima najveći broj nužnih uvjeta, članova istog skupa?
B
1.5 2 Na osnovi izrađene tablice, izrazi iskaze X, Y i Z kao što jednostavnije disjunkcije.
X  A  B Y  A  A / B  B Z  A  B
2.8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:
2.1. Je li zaključak (A  B)  (C  A) C  B | A valjan? _Ne!__
2.2. Jesu li iskazi (A  (B  C)) i (B  (A  C)) istovrijedni? __Da!__

 ( A  B)  (C  A) C   B | A A B C
N N I I I N N N N I NI N N I N
> < <

 (A  (B  C))  (B  (A  C))
I N N I N N N I I N N N
> > >
N N I I N N I I N N N N
< < <

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1. Da je Brukvelija dobila posao, bez posla sigurno ne bi ostala Lavoreta, kao ni neki spomenuti muškarac.
B  (L  (M  K))

3.2. Ova je tvrtka feministički usmjerena, pa prima samo žene, što ne znači da će ikoga primiti.
M  K

3.3. Postoji muškarac koji će ostati bez posla, ali takva žena ne postoji.
(M  K)  (B  L)  (M  K)  (B  L)

3.4. Kao što neće svi kandidati za radno mjesto stolara dobiti posao, tako ni svaki muškarac neće dobiti posao.
(M  B)  (M  K)  (M  B)  (M  K)

3.5. Neizbježno je zapošljavanje barem jedne žene, zaposli li se Mahagon.

M  (B  L)

4.1* 2 Dovrši valjani zaključak: Ako je A  Y  A  X, te je A _valjan _ , slijedi da su X i Y istovrijedni. Obrazloži svoje rješenje!
Svaka pogodba kojoj je prednjak valjan iskaz istovrijedna je sa svojim posljetkom, jer je istinita onda kada je posljedak istinit, a
neistinita onda kada je posljedak neistinit. Dakle, valjan A  Y  Y, a valjan A  X  X. Dakle, ako je A  Y  A  X, slijedi da je
X  Y.

4.2* 2 Može li u nekom višečlanom skupu iskaza točno jedan od njih biti nužan i dovoljan uvjet svima? Ne. Ako je X nd uvjet za Y, tada je
Y nd uvjet za X itd.
A može li u nekom višečlanom skupu iskaza točno jedan od njih ne biti nužan i dovoljan uvjet svima? Ne! Ako X nije nd uvjet Y, tada Y
nije nd uvjet X.
B 1. 13(16) Zadani su iskazi X: ((A  B)  A)  A, Y: A  (B  A), Z: ((A  B)  A) Izradi njihove istinitosne tablice 6(9) :

A B ((A   B)   A)  A  A  ( B  A)  ( (A   B)   A)
I I I I N I N I N N I
I N I I N I I I I I N N
N I N N N N N N I N N N N I I
N N I I I I I I N N N N I I

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 2 Navedi sve tročlane zadovoljive skupove različitih iskaza iz skupa {A,B,X,Y,Z}!
{A,B,X}, {A,B,Y}, {A,X,Y}, {B,X,Y}, {A,X,Z}, {A,Y,Z}, {X,Y,Z}.
1.2 1 Koji različiti iskazi imaju zajedničke dovoljne uvjete?
A, Y.
1.3 1 Iz kojeg para premisa slijedi svaki iskaz?
{B,Z}
1.4 1 Postoji li iskaz koji slijedi iz svakog iskaza zadanog skupa?
Ne. Svaki je iskaz u nekom retku neistinit, a pritom je u istom retku neki drugi iskaz istinit.
1.5 2 Na osnovi izrađene tablice, izrazi iskaze X, Y, Z što jednostavnije!
X  B  A , Y  A , Z   (A  B)

2. 8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1. Je li iskaz (A  (B  C))  (B  (A  C)) valjan? ___Da! ___
2.2. Je li skup iskaza {A  (B  C) , B  (A  C) , (C  A)  B } zadovoljiv? ___Ne! ___

(A  (B  C))  (B  (A  C))
I I I N N N I N I N N
< < <

A  (B  C) B  (A  C) (C  A)  B

I I I IN I IN N I N I I
> > <
N I I NN I N NN N
< < <

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1. Kada bi se obje žene zaposlile, nijedan muškarac ne bi dobio posao.

(B  L)  (M  K)  (B  L)  (M  K)

3.2. Tvrtka će za svako prijavljeno zvanje zaposliti barem jednu osobu.

(M  B)  (L  K)

3.3. Niti je svatko primljen za stolarske poslove, niti je itko primljen za poslove spremanja i čišćenja.
(M  B)  (L  K)  (M  B)  (L  K)  (M  B)  (L  K)

3.4. Neistinito je tvrditi da čim neka žena ne dobije posao, neki se muškarac mora zaposliti.
((B  L)  (M  K))  (  (B  L)  (M  K))   ( (B  L)  (M  K))

3.5. Tvrtka ne smije primiti nijednog muškarca primi li stolarku Brukveliju.

Ako pretpostavimo da tvrtka neće činiti ono što ne smije činiti…
B  (M  K)  B  (M  K)

4.1 * 2 Zadan je skup iskaza koji sačinjavaju iskazi A, B, C, D, međusobno neistovrijedni, a sastavljeni od jednostavnih podiskaza P i R.
Mora li neki od iskaza zadanog skupa biti dovoljan uvjet nekom drugom iskazu istog skupa? Ne. Skupna istinitosna tablica sadržavat će
četiri retka, a u nju se mogu unijeti istinitosni stupci takvi da za svaki iskaz vrijedi da je u barem jednom retku jedini istinit.

4.2. * 2 Ako je A ili nužan ili dovoljan uvjet iskazu B, je li B ili nužan ili dovoljan uvjet iskazu A? Obrazloži!
Da. Ako je A samo nužan (ne i dovoljan) uvjet za B, onda je B samo dovoljan (ne i nužan) uvjet A. Ako je A samo dovoljan (ne i
nužan) uvjet za B, onda je B samo nužan (ne i dovoljan uvjet za A). Stalno se ostvaruje isključno disjunktivni zahtjev.
C 1. 13(16) Zadani su iskazi X: ((A B)  A)  A , Y:  (A  (B  A)), Z: A   (B   A) Izradi njihove istinitosne tablice 6(9) :

A B ((A  B)   A)  A  (  A  (B  A)) A   (B   A)
I I I I N I I I I I I I I N N
I N I I I N N N N N N N I
N I I I N N N I I N N
N N I I N N N I I N N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.12 Nabroji sve tročlane zadovoljive skupove različitih iskaza skupa {A,B,X,Y,Z}!
{A,B,X}, {A,X,Z}, {B,X,Z}, {A,B,Z}, {A,X,Y}.
1.2 1 Za koji podskup iskaza vrijedi da svaki član tog podskupa slijedi iz istih iskaza iz kojih slijedi i svaki drugi član istog podskupa?
{A,X}
1.3 1 Postoji li iskaz iz kojeg ne slijedi nijedan drugi iskaz?
Da: B (3. redak)
1.4 2 Iskazi za koje ne vrijedi da su nužni uvjeti samo sebi su:
Iskazi A,B,X su nužni još nekom iskazu osim sebi samima.
1.5 1 Na osnovi izrađene tablice, izrazi iskaze X, Y, Z što jednostavnije!
X  A , Y  A  B / (A  B) , Z  A  B

2. 8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1 Jesu li iskazi (A  C)  B i (B  A)  C istovrijedni? ____Ne____
2.2 Je li iskaz ((A  B)  C)  ((A  C)  (B  C)) zadovoljiv? __Ne._____

( A  C) B (B  A)   C A B C
N I I I I I I I I N N I I I I
> < <
N I

((A  B)  C)   ((A  C)  (B  C))

I I I I N I I I N N N I N N
< < < <
I I I N N N I N N I I N N
> > >

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

Više je mogućih rješenja. Neka od njih iznosim vezujući ih oznakom istovrijednosti!

3.1 Samo ako bi se zaposlila barem jedna žena, neki bi muškarac ostao nezaposlen.
(M  K)  (B  L)  (M  K)  (B  L)  (M  K)  (B  L)

3.2 Oboje stolara će biti primljeno, ali ne i svatko tko se prijavio za poslove spremača/ice.
(M  B)  (L  K)  (M  B)  (L  K)

3.3 Nijedna žena neće dobiti posao, kao ni barem jedan muškarac.
(B  L)  (M  K)  (B  L)  (M  K) (ni-jedna = ni ijedna = ni barem jedna: nijek se nadređuje disjunkciji)
Uvažavao sam i očekivano, blaže (i ne posve ispravno) tumačenje …..  (M  K)
3.4 Od načela da na isti tip posla neće biti primljeni pripadnici različitih spolova, tvrtka neće odstupiti.
(M  B)  (L  K)  (M  B)  (L  K)  (M  B)  (L  K)

3.5 Nemoguće je ne zaposliti Lavoretu bez da se zaposli Krpelda.

(L  K)  L  K

4.1 * 2 Ako je P nužan uvjet iskazu R, tada ____ne postoji ___ vrjednovanje za koje je P neistinit, a R istinit, dakle, tada
je za svako vrjednovanje konjunkcija R  P neistinita , pa je, slijedom zadnje utvrđenog, iskaz (R  P) valjan. .

4.2 * 2 Ako je A nužan uvjet za B upravo ako je B nužan uvjet za A, slijedi li da su A i B istovrijedni? Obrazloži!
Ne. Dvopogodbeni sadržaj pretpostavke može biti ostvaren i ako ni A nije nužan za B, ni B nije nužan za A (neistiniti podiskazi
dvopogodbe daju istinitu dvopogodbu), a u tom slučaju A i B nisu istovrijedni.
D 1. 13(16) Zadani su iskazi X: (A  (B  A))  A, Y: (A  (B  A)), Z: (A  B)  A. Izradi njihove istinitosne tablice 6(9) :

A B (A   (B  A))  A  ( A  ( B  A)) (A  B)  A

I I I I N N I N N N I
I N I I N N I N N N I
N I I I N N N N N I N I I I I N N
N N I I N N N N I I N I N N N N I N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 2 Nabroji sve parove neistovrijednih iskaza!
{A,B}, {A,Y}, {A,Z}, {B,X}, {B,Y}, {B,Z}, {X,Y}, {X,Z}
1.2 1 Postoji li par iskaza za koji vrijedi da postoji neki treći koji je nužan uvjet jednom i ujedno dovoljan uvjet drugom iskazu tog para?
Ako nije isključen par istih iskaza, onda je odgovor potvrdan: {A,A} – X, {X,X} – A, {Y,Y} – Z, {Z,Z} – Y.
Ako se podrazumijeva da se radi o paru različitih iskaza, odgovor je niječan. Nema iskaza koji je nekom iskazu nužan, a nekom
drugom dovoljan uvjet (svaki je iskaz nužan samo onim iskazima kojima je i dovoljan) .
1.3 1 Za koje iskaze vrijedi da slijede samo iz sebe?
B
1.4 2 Iz kojih parova premisa slijedi svaki iskaz zadanog skupa?
{A,Y}, {A,Z}, {B,Y}, {B,Z}, {X,Y}, {X,Z}
1.5 1 Na osnovi izrađenih tablica izrazi iskaze X, Y, Z što jednostavnije!
X  A, Y  (A  B) , Z  (A  B)

2. 8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:

2.1 Je li skup iskaza { (A  B)  C , A  (B  C) } zadovoljiv? __Da__ .
2.2 Je li zaključak A  (B  C) (A  B)  C | (B  A)  C valjan? ___Da__ .

(A  B)   C  A   (B  C) A B C
I I I I IN N I I I I N N I I N
> > >
N N

A  (B  C) (A  B)  C | (B  A)  C
I I N N N I N N I N N I I N N
<> <> <

N I I I N N I I N I I N N N
<> <> <

3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki.
Premda oni možda nisu jedini prijavljeni kandidati (što nam ovdje nije važno), među prijavljenima više nema predstavnika njihovog zvanja.
Neka iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti
posao i Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd.
pronađi odgovarajuće (koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1 Da se nijedan muški kandidat nije zaposlio, nijedna žena ne bi ostala bez posla.
(M  K)  (B  L)  (M  K)  (B  L)  (M  K)  (B  L)

3.2 Tvrtka neće zapošljavati ni stolare, ni spremače, neovisno o njihovom spolu.

(M  B)  (L  K)  (M  B  L  K)

3.3 Tvrtka će, kako na mjestu stolara, tako i na mjestu spremača/ice, zaposliti ili muškarca, ili ženu.
((M  B)  (B  M))  ((L  K)  (K  L))  (M  B)  (L  K)  (M  B)  (L  K)  ((M  B)  (L  K))

3.4 Nije svaki muškarac takav da će dobiti posao, ako je svaka žena takva da neće dobiti posao.
(L  B)  (M  K)  (L  B)  (M  K)  (L  B)  (M  K)

3.5 Kako pri zapošljavanju prođe jedan muškarac, proći će i drugi.

M  K  (M  K)  (M  K)

4.1 * 2 Ako iz X slijedi njegov dovoljan uvjet Y, što možemo reći o odnosu iskaza X i Y? Obrazloži! Y je dovoljan za X: nema
vrednovanja za koje je Y istinit, a X neistinit. Iz X slijedi Y: nema vrednovanja za koje je X istinit, a Y neistinit. Dakle, X i Y su
istovrijedni.

4.2 * 2 Ako je skup iskaza {I1, I2, I3, I4, ... , In} nezadovoljiv, a svaki njegov manji podskup zadovoljiv, koji su sve zaključci valjani? Pazi na
formalno propisan zapis! I1 I2 I3 … In-1 |  In , I1 I2 I3 … In |  In-1 , I1 I2 I3 … In-1 In |  In-2 , … , I2 I3 … In-2 I2-1 In | I1
E 1. 13(16) Izradi 6(9) istinitosne tablice iskazima X:  ( (A  B)  B) , Y: (((A  B)  A)  B)  A , Z: (A  (B  A))  B. :

A B  (  (A  B)   B) (((A  B)   A)  B)  A (A   (B   A))   B
I I I N I I N N I I N N
I N N I I I I I I I I
N I I N N I N N I I N N N N
N N N I I N I N I I I N N N N N N I N

Sljedeća se pitanja odnose na skup iskaza {A,B,X,Y,Z}. Npr. izraz «svaki iskaz» znači «svaki iskaz tog skupa» i sl.
1.1 1 Je li skup iskaza {A,B,X,Y,Z} zadovoljiv? Zašto?
Ne. Ni u kojem retku nisu svi iskazi istiniti.
1.2 2 Postoji li neki nezadovoljivi podskup zadanog skupa? Ako da, koji? Ako ne, zašto?
{B,Z}, {A,B,Z}, {B,X,Z}, {B,Y,Z}, {A,B,X,Z }, {A,B,Y,Z}, {B,X,Y,Z}, {X,Z}, {A,X,Z}, {X,Y,Z}, {A,X,Y,Z}.
1.32 Nabroji sve nevaljane zaključke s tri različite premise, sastavljene od iskaza zadanog skupa!
ABX | Z, ABY | Z, BXY | Z, AXY | Z, AYZ | B, AYZ | X.
1.41 Dovrši sljedeću istinitu rečenicu: Iskaz __Z _ je dovoljan uvjet iskazima _A, Y, Z_ , nužan uvjet samo iskazu Z, a nije ni nužan ni
dovoljan uvjet iskazima __B,X___ .
1.5 1 Je li iskaz «nema istine u izjavi da nema retka u kojem nema istinitog iskaza» istinit? Zašto?
Da! U četvrtom su retku svi iskazi neistiniti. Dakle, nema istine u izjavi da takvog retka nema.
2.8 Primjenom postupka reductio ad absurdum odgovori na sljedeća pitanja:
2.1. Jesu li iskazi (A  B)  (A  B) i A  B istovrijedni? __Da!__
2.2. Je li skup iskaza { (M  K)  (K  M) , (M  K) } zadovoljiv? __Ne!___

(A  B)  (A  B) A  B (M  K)  (K  M)  (M  K)
I I I N N I N N I N N I I I I I N N
< < < <
I I I N N N I I I I I N N N I
< < < <
N I I I I I I
< <
N N N N N N
< <
3.10 Stolar Mahagon, stolarka Brukvelija, te spremačica Lavoreta i spremač Krpeld natječu se za posao u tek osnovanoj mjesnoj tvrtki. Neka
iskazna slova M, B, L, K redom stoje za osnovne iskaze: Mahagon će dobiti posao, Brukvelija će dobiti posao, Lavoreta će dobiti posao i
Krpeld će dobiti posao. Ako zanemarimo gramatičke razlike u vremenima, te sličnosti tipa «zaposlen», «dobiti posao», «raditi» itd. , te ako
pretpostavimo da tvrtka na određeno radno mjesto može primiti samo one koji su se za to radno mjesto prijavili, pronađi odgovarajuće
(koliko je moguće obzirom na ograničenja postavki) logičke formule sljedećim rečenicama:

3.1. Ma tko bude primljen za stolara, neće biti istog spola onome tko bude primljen za poslove spremanja i čišćenja.
(M  (L  K))  (B  (K  L))
3.2. Samo ako se uposli neka žena, oba će muškarca ostati bez posla.
(M  K)  (B  L)
3.3. Na barem jedno radno mjesto biti će primljen svatko prijavljen.
(M  B)  (L  K)  (M  B  L  K)  (M  B  L  K)  (M  B  L  K)  (M  B  L  K) 
 (M  B  L  K)  (M  B  L  K)  (M  B  L  K)
3.4. Ni na koje radno mjesto neće biti primljeni svi kandidati.
(M  B)  (L  K)  (M  B  L  K)(M  B  L  K)(M  B  L  K)(M  B  L  K)  (M  B  L  K)
 (M  B  L  K)  (M  B  L  K  (M  B  L  K)  (M  B  L  K)
3.5. Zaposlit će se više muškaraca nego žena.
(M  K)  (L  B)  ((L  B)  (M  K))

4.1* 2 Jesu li sudovi «P i R nisu istovrijedni samo ako P nije ni nužan ni dovoljan uvjet za R» i «P je za R nužan uvjet upravo ako je i
dovoljan» istovrijedni? Da! P i R su istovrijedni (dakle, P je nužan i dovoljan uvjet za R) ili neistovrijedni (prema prvom sudu tada P
nije ni nužan ni dovoljan uvjet za R). Dakle, prvi je sud isti sudu «P je nužan i dovoljan uvjet za R, ili P nije ni nužan ni dovoljan
uvjet za R, a to, drugim riječima, glasi: «P je nužan uvjet za R upravo ako je dovoljan» (nužna i dovoljna uvjetovanost se vezuju te
nema jedne bez druge).
4.2* 2 Dovrši ovaj valjani zaključak zasnovan na slijedu po istovrijednosti! P je ili nužan, ili dovoljan uvjet za R. Dakle, ili ne postoji
vrednovanje za koje je P _neistinit_ , a R _istinit_ , ili ne postoji vrednovanje za koje je P _istinit_ , a R _neistinit_ . Dakle, ili postoji
vrednovanje za koje je P _istinit_ , a R _neistinit_ , ili postoji vrednovanje za koje je P _neistinit_ , a R _istinit_ .
4.3* 2 Složi sve kombinacije sudova koji su istovrijedni sudu «P je ili nužan, ili dovoljan uvjet za R» prema zadanim sastavnicama i
redoslijedu, tako da svaki put biraš po jedan izraz iz zagrada:
(P, R) (je, nije) (nužan, dovoljan) uvjet za (P,R) upravo ako (P,R) (je, nije) (nužan, dovoljan) uvjet za (P,R).
P je nužan uvjet za R upravo ako P nije dovoljan uvjet za R.  P je nužan uvjet za R upravo ako R nije nužan uvjet za P. 
P je dovoljan uvjet za R upravo ako P nije nužan uvjet za R.  P je dovoljan uvjet za R upravo ako R nije dovoljan uvjet za P. 
P nije nužan uvjet za R upravo ako P je dovoljan uvjet za R.  P nije nužan uvjet za R upravo ako R je nužan uvjet za P. 
P nije dovoljan uvjet za R upravo ako P je nužan uvjet za R.  P nije dovoljan uvjet za R upravo ako R je dovoljan uvjet za P. 
R je nužan uvjet za P upravo ako P nije nužan uvjet za R.  R je nužan uvjet za P upravo ako R nije dovoljan uvjet za P. 
R je dovoljan uvjet za P upravo ako P nije dovoljan uvjet za R  R je dovoljan uvjet za P upravo ako R nije nužan uvjet za P. 
R nije nužan uvjet za P upravo ako P je nužan uvjet za R.  R nije nužan uvjet za P upravo ako R je dovoljan uvjet za P. 
R nije dovoljan uvjet za P upravo ako P je dovoljan uvjet za R.  R nije dovoljan uvjet za P upravo ako R je nužan uvjet za P.