Logika - 2010./11. jesen - 2.

Zadan je sljedeći ključ prevođenja:
kk za Kleopatra
cc za Gaj Julije Cezar
mm za Marko Antonije
PxyP x y za ' xx je privržen/privržena yy '
CxyCxyza 'x cijeni yy '
VxV 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¬m.V \neg m .

1 bod

2.2. Pravilni prijevod rečenice 'Marko Antonije privržen je i Cezaru i Kleopatri' jest: mPc∧mPkm P c \wedge m P k

1 bod

2.3. Pravilni prijevod rečenice 'Marko Antonije i Cezar privrženi su Kleopatri ili nisu privrženi jedan drugomu' jest: (Pmk∧Pck)∨(¬Pmc∧¬Pcm)(P m k \wedge P c k) \vee(\neg P m c \wedge \neg P c m)

1 bod