Logika - 2009./10. ljeto - 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 'Neki je kraljević nadmudrio Guildensterna' jest: \[ \exists x(K x \wedge M x g) \]

3.2. Pravilan prijevod rečenice 'Netko je prozreo Guildensterna, ali Guildenstern nije prozreo nikoga' jest: \[ \exists x(P x g \wedge \neg P g x) \]

3.3. Pravilan prijevod rečenice 'Nitko nije prozreo onu osobu koja ga je nadmudrila' jest: \[ \forall x \forall y(M y x \rightarrow \neg P 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