Logika - 2011./12. ljeto - 2.

Zadan je sljedeći ključ prevođenja:

I x

za '

x

je iskren'

N x

za 'x je naivan'

V x y

za '

x

vjeruje

y - u

k

za Kalija

d

za Deforu

p

za Plestrinu.

Predmetno područje (domena) obuhvaća Kalija, Deforu i Plestrinu.

Jesu li zadane rečenice ispravno prevedene na jezik logike prvog reda? Označite točan odgovor u svakoj čestici zadatka.

2.1. Pravilan prijevod rečenice 'Ako Kalije nije iskren, onda mu ni Plestrina ni Defora ne vjeruju' jest:

\neg I k \leftrightarrow(\neg V p k \wedge \neg V d k) .

2.2. Pravilan prijevod rečenice 'Defora je naivna i vjeruje Plestrini' jest:

N d \wedge V p d

2.3. Pravilan prijevod rečenice 'Kalije nije iskren, niti je naivan, i on ne vjeruje ni Defori, ni Plestrini' jest:

(\neg I k \wedge \neg N k) \rightarrow(\neg V k d \wedge \neg V k p) .

Š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