Zadan je sljedeći ključ prevođenja:
m za Marko
p za Pero
Lxy za ' x se ljuti na y-a'
Dxy za ' x je drag y-u'
Pxy za ' x prezire y-a'.
Predmetno područje (domena) obuhvaća sve ljude.
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: 'Pero se ljuti na sve koji ga preziru.' jest: ∀x(Ppx→Lpx).
2.2 Pravilan prijevod rečenice: 'Na svakoga se ljute oni koji svakoga preziru.' jest: ∀x(∀yPxy→∀yLxy).
2.3. Pravilan prijevod rečenice: 'Nitko ne prezire one na koje se ljuti, a koji su mu dragi.' jest: ∀x∀y(¬Pxy→(Lxy∧Dxy)).