Barbara Horvat, 3.

a
IME I PREZIME UČENIKA: Barbara Horvat RADNI LISTIĆ - 3a LOGIKA 30.4.2020.
ZADACI IZ UDŽBENIKA (str 72)
Ako radite na PC koristite simbole: ¬ ⇒ ∧ ⇔ + – V ( ) [ ]
3. Prevedite na jezik iskazne logike sljedeće rečenice:
a) Ivan ljetuje na Krku, a Petar na I: Ivan ljetuje na Krku.
Cresu ako ne ljetuje na Rabu ili na P: Petar ljetuje na Cresu.
Krku. R: Petar ljetuje na Rabu.
K: Petar ljetuje na Krku.

I ∧ [¬ ( R V K ) ⇒ P ]

b) Ivan ne ljetuje na Krku samo ako K: Ivan ljetuje na Krku.

ljetuje bilo na Rabu bilo na Cresu. R: Ivan ljetuje na Rabu.
C: Ivan ljetuje na Cresu.

¬K ⇒ ( R V C )

c) Petar nikada ne ljetuje ni na Krku K: Petar ljetuje na Krku.

ni na Rabu, premda ljetuje na Cresu, R: Petar ljetuje na Rabu.
ali samo ako na Cresu ljetuje i Ivan. C: Petar ljetuje na Cresu.
I: Ivan ljetuje na Cresu.

* I
[ (¬K ∧ ¬R ) ∧ C ] ⇒

d) Ivan i Petar ne ljetuju na Rabu ako K: Ivan ljetuje na Krku.

i samo ako ljetuju na Cresu, ali
ljetuju na Krku ako ljetuju na Rabu.
R: Ivan ljetuje na Rabu.
C: Ivan ljetuje na Cresu.
P: Petar ljetuje na Krku.
E: Petar ljetuje na Rabu.
T: Petar ljetuje na Cresu.

[¬(R v E) ⇔ (C ∧ T )] ∧ [ (R ∧ E ) ⇒ ( K ∧ P )]

e) Nije tako da iako Ivan ljetuje kako K: Ivan ljetuje na Krku.

na Krku, tako i na Cresu, ljetuje i na
Rabu, a da Petar ljetuje samo na
Rabu i na Cresu, no ne i na Krku.
R: Ivan ljetuje na Rabu.
C: Ivan ljetuje na Cresu.
P: Petar ljetuje na Krku.
E: Petar ljetuje na Rabu.
T: Petar ljetuje na Cresu.

¬([(K ∧ C) ∧ R ] ∧ [(E ∧ T) ∧ ¬P])

4. Izgradite istinosnu tablicu za svaki iskaz iz vježbe iz prvog zadatka: (primjeri iz 1.)
a) Nije slučaj da Pavao P: Pavao ostaje u Poreču.
ne ostaje u Poreču. ¬¬P

P ¬ ¬ P
b) Anica
i nije otputovala
i S: Anica jenotputovala u Španjolsku.
i
u Španjolsku,
n nego un P: Anica jei otutovala u Portugal.
n
Portugal. ¬S ∧ P

P S ¬ S ∧ P
i i n i n i
Barbara Horvat, 3.a

i n i n i i
n i n i n n
n n i n n n
c) Najkraći put vlakom u V: Najkraći put vlakom u Split traje sedam sati.
Split traje sedam sati, a Z: Zrakoplovu je potrebno oko pedeset minuta.
zrakoplovu je potrebno V∧Z
oko pedeset minuta. V Z V ∧ Z
i i i i i
n i n n i
i n i n n
n n n n n
d) Bilo Marin, bilo Jure M: Marin odlazi u Šibenik.
odlaze u Šibenik, J: Jure odlazi U Šibenik.
međutim, Ružica se R: Ružica se sprema na put u Italiju.
sprema na put u Italiju. (M V J) ∧ R
M J R (M V J) ∧ R
i i i i i i i i
i i n i i i n n
i n i i i n i i
i n n i i n n n
n i i n i i i i
n i n n i i n n
n n i n n n n i
n n n n n n n n
e) Nije tako da i Matija i M: Matija živi u Varaždinu.
Andrija žive u A: Andrija živi u Varaždinu.
Varaždinu. ¬(M ∧ A)
M A ¬ (M ∧ A)
i i n i i i
i n i i n n
n i i n n i
n n i n n n
f) Nije slučaj da su bilo Z: Željko je bio u Singapuru.
Željko bilo Antun bili i A: Antun je bio u Singapuru.
Singapuru.
Z A ¬ (Z V A)
i i n i i i
i n n i i n
n i n n i i
n n i n n n
g) Vinko je otputovao, O: Vinko je otputovao.
iako nije ponio kovčeg. K: Vinko je ponio kovčeg.
O K O ∧ ¬ K
i i i n n i
i n i i i n
n i n n n i
n n n n i n
h) Ivan putuje u Osijek I: Ivan putuje u Osijek.
ili Stjepan ne putuje u S: Stjepan putuje u Vinkovce.
Vinkovce, međutim, A: Andrija ostaje u Zagrebu.
Stjepan putuje u
Vinkovce, a i) Andrija
Barbara Horvat, 3.a
ostaje u Zagrebu. I S A (I V ¬ S) ∧ (S ∧ A)
i i i i i n i i i i i
i i n i i n i n i n n
i n i i i i n n n n i
i n n i i i n n n n n
n i i n n n i n i i i
n i n n n n i n i n n
n n i n i i n n n n i
n n n n i i n n n n n
i) Ako vrijeme bude L: Vrijeme je lijepo.
lijepo, let će U: Let je ugodan.
zrakoplovom biti N: Nevrijeme je.
ugodan, a ako bude L N U (L ⇒ U) ∧ (N ⇒ ¬ U)
nevrijeme, neće biti i i i i i i n i n n i
ugodan. i i n i n n n i i i n
i n i i i i i n i n i
i n n i n n n n i i n
n i i n i i n i n n i
n i n n i n i i i i n
n n i n i i i n i n i
n n n n i n i n i i n
j) Vlak polazi za pola V: Vlak polazi za pola sata.
sata, ali Šimun kreće na S: Šimun kreće na put.
put ako i samo ako na L: Lidija kreće na put.
put kreće i Lidija. L S V V ∧ (S ⇔ L)
i i i i i i i i
i i n n n i i i
i n i i n n n i
i n n n n n n i
n i i i n i n n
n i n n n i n n
n n i i i n i n
n n n n n n i n
Prevedite sljedeću rečenicu na jezik iskazne logike i izgradite istinosnu tablicu.
(pomoć: smjernica: rečenica se sastoji od tri jednostavna iskaza)
„Bit ćemo sretni kad B: Bit ćemo sretni.
završimo srednju školu S: Završili smo srednju školu s odličnim uspjehom.
sa odličnim uspjehom F: Upisali smo fakultet.
ili se upišemo na
fakutet, a sigurno
ćemo se upisati na
fakultet samo ako
završimo srednju školu
sa odličnim uspjehom, B ∧ (S V F) ∧ ( F ⇒ S ) ∧ (¬S ∧ ¬B)
dakle, bez odličnog
uspjeha u srednjoj školi
nema sreće.“

B S F B ∧ ( V F ∧ ( ⇒ F) ∧ ( S ∧ ¬ B)
Barbara Horvat, 3.a

S ) S ¬
i i i i i i i i i i i i n n i n n i
i i n i i i i n n i n n n n i n n i
i n i i i n i i i n i i n i n n n i
i n n i n n n n n n i n n i n n n i
n i i n n i i i n i i i n n i n i n
n i n n n i i n n i n n n n i n i n
n n i n n n i i n n i i n i n i i n
n n n n n n n n n n i n n i n i i n