Logika - 2017./18. jesen - 2.

Zadan je sljedeći ključ prevođenja:
cc za Crvenkapica
vv za Vuk
bb za Bakica
SxySxy za ' xx je susreo yy-a'
PxyP x y za ' xx je pojeo yy-a'.
Označite DA ako je zadana rečenica pravilno prevedena na jezik logike prvoga reda, a NE ako nije.
2.1. Pravilan prijevod rečenice 'I Bakica i Crvenkapica susrele su Vuka.' jest:  Sbv∧ScvSbv\wedge S c v.

1 bod

2.2. Pravilan prijevod rečenice ‘Vuk je susreo Bakicu i Crvenkapicu i pojeo ih je.’ jest: (Svc∧Svb)∧(Pcv∧Pbv)(S v c \wedge S v b) \wedge(P c v \wedge P b v).

1 bod

2.3. Pravilan prijevod rečenice 'Ni Crvenkapica ni Bakica nisu pojele Vuka ako i samo ako je on pojeo njih.' jest: (¬Pvc∧¬Pvb)↔(Pcv∧Pbv)(\neg P v c \wedge \neg P v b) \leftrightarrow(P c v \wedge P b v).

1 bod