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)$
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
Naša ponuda
Online skripte
Pravne stranice
© 2025, Gradivo.hr