Logika - 2015./16. ljeto - 3.

Zadan je sljedeći ključ prevođenja:

Pxy za ' $x$ je prevario $y$-a'
$Z x y$ za ' $x$ je začarao $y$-a'
$L x y$ za ' $x$ ljubi $y$-a'
$s$ za Siegfrieda
$r$ za Von Rothbarta
$o$ za Odette.

Predmetno područje (domena) obuhvaća likove baleta Labuđe jezero.

Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda?

Označite točan odgovor u svakoj čestici zadatka.

3.1. Pravilan prijevod rečenice 'Siegfried ne ljubi svakoga.' jest: $\forall x \neg L s x$

3.2. Pravilan prijevod rečenice 'Odette ljubi nekoga koga je Von Rothbart prevario.' jest: $\exists x(L o x \wedge P r x)$

3.3. Pravilan prijevod rečenice 'Nije svatko prevario onoga koga je začarao.' jest: $\neg \forall x \forall y(Z x y \rightarrow P x y)$

ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.

ZA MATURANTEOnline pripreme OD 1. DO 4. RAZREDAOnline instrukcije

Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.

Naša ponuda

Online skripte

Pravne stranice