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 uzima za slugu nekoga komu prigovara.' jest:$\exists x(U x y \wedge P x y)$.
3.2. Pravilan prijevod rečenice 'Nitko ne uzima za slugu samo onog koji mu prigovara.' jest:$\forall x \forall y(\neg U x y \rightarrow P y x)$.
3.3. Pravilan prijevod rečenice 'Nitko ne prigovara onomu tko ga uzima za slugu, no svatko prigovara onomu koga uzima za slugu' jest: $\forall x \forall y(U x y \rightarrow \neg P y x) \wedge \forall x \forall y(U x y \rightarrow P x y)$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.