$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 .
2.2. Pravilan prijevod rečenice 'Ikar će pasti u More ako i samo ako Dedal neće.' jest: $\operatorname{Pim} \leftrightarrow \neg d$.
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 .
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.