Zadan je sljedeći ključ prevođenja:
$i$ za Ikar
$d$ za Dedal
$s$ za Sunce
$m$ za More
$L x y$ za ' $x$ leti prema $y$ - $u$ '
$O x y$ ' $x$ je $y$-ov otac'
Pxy ' $x$ će pasti u $y$ '
$U x y$ ' $x$ prihvaća upozorenje $y$ - $a$ '.
Predmetno područje (domena) obuhvaća likove iz grčkih mitova.
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 'Ikar nije Dedalov otac.' jest: $\neg$ Odi .
Ovo pitanje nosi 1 bod
2.2. Pravilan prijevod rečenice 'Ikar će pasti u More ako i samo ako Dedal neće.' jest: $\operatorname{Pim} \leftrightarrow \neg d$.
Ovo pitanje nosi 1 bod
2.3. Pravilan prijevod rečenice 'Ako Ikar leti prema Suncu, ne prihvaća upozorenje svojega oca Dedala.' jest: $(\text{Lis} \rightarrow \neg \text{Uid}) \wedge$ Odi .
Ovo pitanje nosi 1 bod