Zadan je sljedeći ključ prevođenja:
$K x: x$ je kraljević
$M x y: x$ je nadmudrio $y$
$Pxy:$ $x$ je prozreo $y$
$g$ : Guildenstern
$h$ : Hamlet
$r$ : Rosencrantz.
Predmetno područje (domena) obuhvaća likove u Shakespearovome djelu Hamlet.
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 'Kraljević Hamlet prozreo je Rosencrantza' jest:
PKhr.
2.2. Pravilan prijevod rečenice 'Ako Guildenstern nije nadmudrio Hamleta, onda je Hamlet prozreo Guildensterna' jest:
\[ \neg M g h \rightarrow P h g . \]
2.3. Pravilan prijevod rečenice 'Nije ni Rosencrantz ni Guildenstern nadmudrio Hamleta, već je on nadmudrio svakoga od njih' jest:
\[ (\neg M g h \wedge \neg M r h) \wedge(M h g \wedge M h r) . \]