Zadan je sljedeći ključ prevođenja: a za Aslan $b$ za Bijela Vještica $l$ za Lucy $M x y$ za ' $x$ je mudriji od $y$-a' $C x y$ za ' $x$ cijeni $y$-a' $P x y$ za ' $x$ pomaže $y$-u'. 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.
2.1. Pravilan prijevod rečenice: 'Postoji netko mudriji od Bijele Vještice.' jest: $\exists x M b x$.
2.2. Pravilan prijevod rečenice: ‘Svatko cijeni onoga tko mu pomaže.’ jest: $\forall x \forall y(P x y \rightarrow C x y)$.
2.3. Pravilan prijevod rečenice: 'Nitko ne voli Bijelu Vješticu.' jest: $\forall x \neg V x b$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.