$s$ za Sunce $m$ za More Lxy za ' $x$ leti prema $y$ - $u$ ' $O x y$ ' $x$ je $y$-ov otac' $P x y$ ' $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 ispravno prevedene na jezik logike prvoga reda? Označite točan odgovor u svakoj čestici zadatka.
3.1. Pravilan prijevod rečenice 'Netko ne prihvaća upozorenje svojega oca.' jest: $\exists x \exists y(\neg U x y \wedge O y x)$.
3.2. Pravilan prijevod rečenice 'Tko god leti prema Suncu, past će u More.' jest: $\forall x(L s x \rightarrow P m x)$.
3.3. Pravilan prijevod rečenice 'Ne leti svatko prema onomu čije upozorenje ne prihvaća.' jest: $\neg \forall x \forall y(\neg U x y \rightarrow L x y)$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.