Logika - 2012./13. jesen - 3.

Zadan je sljedeći ključ prevođenja.

$a$ za 'Ana'

$v$ za 'Vronski'

$P x y$ za ' $x$ je prozreo $y-a$ '

$C x y$ za ' $x$ cijeni $y-a$ '

$V x y$ za ' $x$ voli $y-a$ '

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 voli, no ne cijeni Anu.' jest: $\exists x V x a \wedge \exists x \neg C x a$

3.2. Pravilan prijevod rečenice 'Ana ne voli one koje je prozrela.' jest: $\forall x($ Pax $\rightarrow \neg$ Vax $)$

3.3. Pravilan prijevod rečenice 'Netko je prozreo Vronskog, ne voli ga niti ga cijeni, no voli Anu koju cijeni.' jest:

ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.

ZA MATURANTEOnline pripreme OD 1. DO 4. RAZREDAOnline instrukcije

Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.

Naša ponuda

Online skripte

Pravne stranice