Logika - 2020./21. jesen - 3.

Zadan je sljedeći ključ prevođenja:

k

za Ksantipa

s

za Sokrat

L x y

za '

x

ljubi

y

-a'

P x y

za '

x

poštuje

y

-a'

O x y

x

opominje

y

-a'.

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.

3.1. Pravilan prijevod rečenice 'Netko ne ljubi one koje opominje.' jest:

\exists x \forall y(O x y \rightarrow \neg L x y)

3.2. Pravilan prijevod rečenice 'Svatko poštuje onoga koga ljubi, a ljubi onoga koga opominje.' jest:

\forall x \forall y((L x y \rightarrow P x y) \wedge(O x y \rightarrow L x y))

3.3. Pravilan prijevod rečenice 'Samo Ksantipa ljubi, poštuje i opominje Sokrata.' jest:

\forall x(x=k \rightarrow(L x s \wedge P x s \wedge O x s))

Š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