Predmetno područje (domena) obuhvaća sve predmete.
Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu pravilno prevedene na jezik logike prvoga reda.
3.1. Pravilan prijevod rečenice 'Netko ne ljubi one koje opominje.' jest: $\exists x \forall y(O x y \rightarrow \neg L x y)$
3.2. Pravilan prijevod rečenice 'Svatko poštuje onoga koga ljubi, a ljubi onoga koga opominje.' jest: $\forall x \forall y((L x y \rightarrow P x y) \wedge(O x y \rightarrow L x y))$
3.3. Pravilan prijevod rečenice 'Samo Ksantipa ljubi, poštuje i opominje Sokrata.' jest: $\forall x(x=k \rightarrow(L x s \wedge P x s \wedge O x s))$
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.