Zadan je sljedeći ključ prevođenja:
c za Crvenkapica
v za Vuk
b za Bakica
Sxy za ' x je susreo y-a'
Pxy za ' x je pojeo y-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).
3.2. Pravilan prijevod rečenice 'Nitko nije pojeo onoga koji je njega pojeo.' jest: ∀x∀y(Pxy→¬Pyx).
3.3. Pravilan prijevod rečenice 'Vuk je pojeo svakoga koga je susreo osim samoga sebe.' jest: ∀x((Svx∧x=v)→Pvx).