Vježba 4.

4. 1. Raspravite razliku Bosiljkine i Smiljine tvrdnje.

Bosiljka: Ako si u Zagrebu, onda si u Hrvatskoj.
Smilja: Ako si u Hrvatskoj, onda si u Zagrebu.
4. 2. Prevedite sljedeće rečenice na jezik iskazne logike (Ključ: Z: U Zagrebu si; H: U Hrvatskoj si).
Imajte na pameti da je svaka pojedina rečenica istoznačna ili s Bosiljkinom ili sa Smiljinom rečenicom.
1. Ako si u Zagrebu, onda si u Hrvatskoj.
2. Ako si u Hrvatskoj, onda si u Zagrebu.
3. Dovoljno je da si u Hrvatskoj, pa da si u Zagrebu.
4. Pod pretpostavkom da si u Zagrebu, vrijedi da si u Hrvatskoj.
5. Nužno je da si u Zagrebu, da bi bio u Hrvatskoj.
6. U Hrvatskoj si samo ako si u Zagrebu.
7. Dovoljno je da si u Zagrebu pa da si u Hrvatskoj.
8. U Zagrebu si samo ako si u Hrvatskoj.
9. Nužno je da si u Hrvatskoj, da bi bio u Zagrebu.
10. U slučaju da si u Hrvatskoj, u Zagrebu si.
11. U Zagrebu si ako si u Hrvatskoj.
12. Samo ako si u Zagrebu, onda si u Hrvatskoj.
13. U Hrvatskoj si ako si u Zagrebu.
14. Samo ako si u Hrvatskoj, onda si u Zagrebu.
Vježba 5.
5. 1. Prevedite sljedeće rečenice na jezik iskazne logike (Ključ: L: Ljeto je; D: Dan je duži od noći)
1. Samo ako je dan duži od noći, onda je ljeto.
2. Ljeto je, ali dan nije duži od noći.
3. Ako dan nije duži od noći, onda nije ljeto.
4. Nije ljeto ili je dan duži od noći.
5. Nije točno to da ako je ljeto, da je dan duži od noći.
5. 2. Načinite tablice za sve dobivene iskaze u navedenoj tablici i iznesite zapažanja.
L D 1. 2. 3. 4. 5.

Vježba 6.
6. 1. Prevedi sljedeće rečenice na jezik iskazne logike (Ključ: S: Sunce je zašlo; N: Noć je)
1. Ako i samo ako je sunce zašlo, noć je.
2. Nije točno to da je noć ako i samo ako je sunce zašlo.
3. Noć je onda i samo onda ako je sunce zašlo.
4. U slučaju da je sunce zašlo i samo u tom slučaju, noć je.
5. Samo ako je sunce zašlo, noć je.
6. Sunce je zašlo onda i samo onda ako nije noć.
7. Ako je sunce zašlo, noć je i samo ako je sunce zašlo, noć je.
8. Sunce nije zašlo ako i samo ako je noć.
9. Sunce je zašlo ako je noć i ako je sunce zašlo, noć je.
10. Ako Sunce nije zašlo, noć je i ako je noć, sunce nije zašlo.
6. 2. Ispišite skupove istovrijednih rečenica. Ima li neka rečenica koja je jedini član skupa? Obrazložite.
Kako se međusobno odnose rečenice preostalih skupova istovrijednih rečenica. Ako niste sigurni, načinite
tablicu za po jedan iskaz iz svakog skupa.