Logika - 2022./23. jesen - 1.

Zadan je sljedeći ključ prevođenja:

i

za Ivan

p

za Petar

m

za Mate

n

za Nikola

H x y

za '

x

je hrabriji od

y

-a'

U x y

za '

x

je umjereniji od

y

-a'

P x y

za '

x

je pravedniji od

y

-a'

M x y

za '

x

je mudriji od

y

-a'.

Predmetno područje (domena) obuhvaća ljude navedene u ključu prevođenja.

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: 'I Ivan i Petar hrabriji su od Mate.' jest:

H m i

\wedge

m p

1.2. Pravilan prijevod rečenice: 'Niti je Ivan hrabriji od Petra niti je Petar hrabriji od Ivana.' jest:

\neg(

H i p

\wedge

H p i

)

1.3. Pravilan prijevod rečenice: ‘Samo ako je Nikola hrabriji od Ivana i umjereniji od Petra, pravedniji je od obojice.' jest:

( Pni \wedge Pnp ) \rightarrow( Hni \wedge Unp )

Š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