Zadan je sljedeći ključ prevođenja:
h za Helena m za Menelaj
p za Paris
Pxy za ‘x je dragovoljno pobjegao s y-om’
Oxy za ‘x je oteo y-a’
Ux za ‘x je bio uvrijeđen’
Rx za ‘x je poveo rat protiv Troje’.
Predmetno područje (domena) obuhvaća ljude navedene u ključu prevođenja. 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
1.1. Pravilan prijevod rečenice: 'Helena je dragovoljno pobjegla s Parisom.' jest: Pph.
1.2. Pravilan prijevod rečenice: 'Menelaj je bio uvrijeđen pa je poveo rat protiv Troje.' jest: $U m \wedge R m$.
1.3. Pravilan prijevod rečenice: 'Menelaj je i bio uvrijeđen i poveo rat protiv Troje ako je Paris oteo Helenu.' jest: $(U m \wedge R m) \rightarrow O p h$. (1 bod)