Logika - 2020./21. jesen - 2.

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

za '

x

opominje

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.

2.1. Pravilan prijevod rečenice 'lako Ksantipa poštuje Sokrata, opominje ga.' jest:

P k s \rightarrow O k s

2.2. Pravilan prijevod rečenice 'Samo ako Sokrat ljubi Ksantipu, ona ljubi njega.' jest:

L s k \rightarrow L k s

2.3. Pravilan prijevod rečenice 'I Ksantipa i Sokrat ljube i poštuju sebe.' jest:

L s s \wedge L k k \wedge P s s \wedge P k k

Š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