Logika - 2024./25. jesen - 1.

Zadan je sljedeći ključ prevođenja:

m

za Marko

p

za Pero

L x y

za '

x

se ljuti na

y

-a'

D x y

za '

x

je drag

y

-u'

P x y

za '

x

prezire

y

-a'.

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.

1.1. Pravilan prijevod rečenice: 'Ako Marko prezire Peru, Pero mu nije drag.' jest:

P m p \rightarrow \neg D p m

1.2. Pravilan prijevod rečenice: 'Marko ili Pero ljute se na same sebe.' jest:

L m m \vee L p p

1.3. Pravilan prijevod rečenice: 'Ako se Marko ljuti na Peru i Pero mu je drag, onda on ne prezire Peru.' jest:

(L m p \wedge D p m) \rightarrow \neg P p m

Š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