Logika - 2010./11. ljeto - 3.

Zadan je sljedeći ključ prevođenja:

$c$ za Gaj Julije Cezar
Pxy za ' $x$ poštuje $y$ '
Ixy za 'x je iznevjerio $y$ '
$V x$ za ' $x$ је vladar'.

Predmetno područje (domena) obuhvaća sve likove Shakespeareove tragedije Julije Cezar.

Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda?Označite točan odgovor u svakoj čestici zadatka.

3.1. Pravilni prijevod rečenice 'Nitko ne poštuje Cezara' jest: $\exists x \neg P x c$

3.2. Pravilni prijevod rečenice 'Postoji netko tko poštuje vladara Cezara, a iznevjerio ga je' jest: $\forall x(P x c \wedge V c \wedge I x c)$

3.3. Pravilni prijevod rečenice 'Nije svatko iznevjerio onoga tko ga poštuje' jest: $\forall x \forall y(P x y \rightarrow I x y)$

ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

*Besplatan pristup ne zahtijeva unos kartice.

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

Naša ponuda

Online skripte

Pravne stranice