Zadan je sljedeći ključ prevođenja:
$K x$ za ' $x$ је kraljević'
$P x$ za ' $x$ je prevaren'
$Z x$ za ' $x$ je začaran'
Lxy za ' $x$ ljubi $y$-a'
$s$ za Siegfrieda
t za Odette
l za Odile.
Predmetno područje (domena) obuhvaća likove baleta Labuđe jezero.
Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda?
Označite točan odgovor u svakoj čestici zadatka.
2.1. Pravilan prijevod rečenice 'Začarana Odette ljubi Siegfrieda.' jest: $Z t \wedge L t s$
2.2. Pravilan prijevod rečenice ‘Siegfried ljubi Odette, ali ne i Odile.’ jest: $L s t \vee \neg L s l$
2.3. Pravilan prijevod rečenice ‘Siegfried je prevaren začaranom Odile koju ne ljubi.’ jest: $P s \rightarrow(Z l \wedge \neg L s l)$