Logika - 2017./18. jesen - 3.

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'.
Predmetno područje (domena) obuhvaća likove iz priče Crvenkapica Charlesa Perraulta.
Označite DA ako je zadana rečenica pravilno prevedena na jezik logike prvoga reda, a NE ako nije.
3.1. Pravilan prijevod rečenice 'Nije svatko pojeo one koje je susreo.' jest: ¬∀x∀y(Sxy→Pxy)\neg \forall x \forall y(S x y \rightarrow P x y).

1 bod

3.2. Pravilan prijevod rečenice 'Nitko nije pojeo onoga koji je njega pojeo.' jest: ∀x∀y(Pxy→¬Pyx).\forall x \forall y(P x y \rightarrow \neg P y x) .

1 bod

3.3. Pravilan prijevod rečenice 'Vuk je pojeo svakoga koga je susreo osim samoga sebe.' jest: ∀x((Svx∧x≠v)→Pvx).\forall x((S v x \wedge x \neq v) \rightarrow P v x) .

1 bod