Logika - 2021./22. jesen - 2.

Zadan je sljedeći ključ prevođenja:

a

za Aslan

b

za Bijela Vještica

l

za Lucy

M x y

za '

x

je mudriji od

y

-a'

C x y

za '

x

cijeni

y

-a'

P x y

za '

x

pomaže

y

-u'.

Predmetno područje (domena) obuhvaća sve predmete.

Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu pravilno prevedene na jezik logike prvoga reda.

2.1. Pravilan prijevod rečenice: 'Postoji netko mudriji od Bijele Vještice.' jest:

\exists x M b x

2.2. Pravilan prijevod rečenice: ‘Svatko cijeni onoga tko mu pomaže.’ jest:

\forall x \forall y(P x y \rightarrow C x y)

2.3. Pravilan prijevod rečenice: 'Nitko ne voli Bijelu Vješticu.' jest:

\forall x \neg V x b

Š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