Logika - 2010./11. jesen - 2.

Zadan je sljedeći ključ prevođenja:

k

za Kleopatra

c

za Gaj Julije Cezar

m

za Marko Antonije

P x y

za '

x

je privržen/privržena

y

C x y

za 'x cijeni

y

V x

za 'x je vladar/vladarica'.

Predmetno područje (domena) obuhvaća Kleopatru, Gaja Julija Cezara i Marka Antonije.

Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda?
Označite točan odgovor u svakoj čestici zadatka.

2.1. Pravilni prijevod rečenice 'Marko Antonije nije vladar' jest:

V \neg m .

2.2. Pravilni prijevod rečenice 'Marko Antonije privržen je i Cezaru i Kleopatri' jest:

m P c \wedge m P k

2.3. Pravilni prijevod rečenice 'Marko Antonije i Cezar privrženi su Kleopatri ili nisu privrženi jedan drugomu' jest:

(P m k \wedge P c k) \vee(\neg P m c \wedge \neg P c m)

ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.

Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.

Naša ponuda

Online skripte

Pravne stranice