Zadan je sljedeći ključ prevođenja: $h$ za Helena Pxy za ' $x$ je dragovoljno pobjegao s $y$-om' $O x y$ za ' $x$ je oteo $y$-a' $U x$ za ' $x$ je uvrijeđen' $R x y$ za ' $x$ je poveo rat protiv $y$-a'. Predmetno područje (domena) sastoji se od likova iz Homerova epa llijada.
Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu pravilno prevedene na jezik logike prvoga reda.
2.1. Pravilan prijevod rečenice: 'Nitko nije oteo Helenu.' jest: $\forall x \neg O h x$.
2.2. Pravilan prijevod rečenice: 'Nitko nije oteo onoga koji je s njim dragovoljno pobjegao.' jest: $\forall x \forall y(P x y \rightarrow \neg O y x)$.
2.3. Pravilan prijevod rečenice: 'Netko je poveo rat protiv nekoga s kim je Helena dragovoljno pobjegla.' jest: $\exists x \exists y(R x y \wedge P h y)$.
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.