Logika - 2011./12. jesen - 2.

Zadan je sljedeći ključ prevođenja:

D x

za '

x

je dobar'

Z x

za '

x

je zahvalan'

P x y

za '

x

će pomoći

y

-u'

a

za Arka

b

za Berciu

z

za Zoetu.

Predmetno područje (domena) obuhvaća Arka, Berciu i Zoetu.

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 je Arko zahvalan, Bercia će mu pomoći' jest:

Z a \rightarrow P a b .

2.2. Pravilan prijevod rečenice 'Zoeta je dobra i zahvalna' jest:

(D \wedge Z) z

2.3. Pravilan prijevod rečenice 'Premda Arko nije dobar, a ni Bercija ni Zoeta nisu zahvalne, Arko će im pomoći' jest:

(\neg D a \wedge(\neg Z b \wedge \neg Z z)) \wedge(P a b \wedge P a z)

Š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