Logika - 2009./10. jesen - 3.

Zadan je sljedeći ključ prevođenja:

$K x: x$ je kraljević
$M x y: x$ je nadmudrio $y$
Pxy: $x$ je prozreo $y$
$g$ : Guildenstern
$h$ : Hamlet
$r$ : Rosencrantz.

Predmetno područje (domena) obuhvaća likove u Shakespearovome djelu Hamlet.

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 'Guildenstern nije nadmudrio niti jednoga kraljevića' jest: $\forall x(K x \rightarrow \neg M g x)$

3.2. Pravilan prijevod rečenice 'Netko tko je prozreo Guildensterna, prozreo je također i Rosencrantza' jest: $\exists x(P x g \wedge P x r)$

3.3. Pravilan prijevod rečenice 'Nitko nije nadmudrio nikoga' jest: $\forall x \neg \forall y M y x$

Š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