Logika - 2012./13. ljeto - 3.

Zadan je sljedeći ključ prevođenja.

a za 'Ana Karenjina'

$v$ za 'Aleksej Vronski'

$P x y$ za ' $x$ je prozreo $y^{\prime}$'

$C x y$ za ' $x$ cijeni $y$ '

$V x y$ za ' $x$ voli $y$ '

Predmetno područje (domena) obuhvaća sve likove u Tolstojevu djelu Ana Karenjina.

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 'Netko tko je prozreo Alekseja Vronskog, prozreo je i Anu Karenjinu.' jest: $\exists x(P x v \wedge P x a)$

3.2. Pravilan prijevod rečenice 'Nitko ne cijeni Anu Karenjinu.' jest: $\forall x \neg C x a$

3.3. Pravilan prijevod rečenice 'Ana Karenjina nekog i cijeni i voli.' jest: $\exists x(C a x \wedge V a 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