Logika - 2010./11. jesen - 3.

Zadan je sljedeći ključ prevođenja:
kk za Kleopatra
PxyP x y za ' xx je privržen/privržena yy '
CxyC x y za ' xx cijeni yy '
VxV x za ' xx je vladar/vladarica'.
Predmetno područje (domena) obuhvaća sve ljude.
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 ‘Netko nikomu nije privržen’ jest: ∃x∀y¬Pxy.\exists x \forall y \neg P x y .
3.2. Pravilni prijevod rečenice 'Kleopatra je privržena nekomu koga ne cijeni' jest: ∃x(Pkx∧¬Ckx).\exists x(P k x \wedge \neg C k x) .
3.3. Pravilni prijevod rečenice ‘Svaki vladar cijeni samoga sebe’ jest: ∀x(Cxx→Vx).\forall x(C x x \rightarrow V x) .
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
Naša ponuda
Online skripte
Pravne stranice
© 2026, Gradivo.hr