Zadan je sljedeći ključ prevođenja:
Vxy za ' x voli y-a'
Sxy za ' x slijedi y-a'
k za Kleopatra
m za Marko Antonije.
Prevedite zadane rečenice i napišite in na crte. Ako je zadana rečenica iskazana prirodnim jezikom, prevedite je na jezik logike prvoga reda, a ako je iskazana jezikom logike prvoga reda, prevedite je na prirodni jezik.
Predmetno područje (domenu) čine svi ljudi.
19.1. Marko Antonije ne voli nikoga tko voli Kleopatru.
19.2. Nekoga voli svatko.
19.3. ∀x(∀yVxy→Vkx)
19.4. ∀xSmx∧¬∀xVxm