Logika - 2020./21. ljeto - 3.

Zadan je sljedeći ključ prevođenja:

$c$ za Pandorin ćup

$Z x$ za ' $x$ je znatiželjan'

$O x y$ za ' $x$ je otvorio $y$-u'

$U x y$ za ' $x$ je u $y$-u'

$Ixy$ za ' $x$ je izišao iz $y$-a'.

Predmetno područje (domena) obuhvaća likove iz grčke mitologije.

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 'Ništa nije u onome iz čega je izišlo.' jest: $\forall x \forall y(I x y \rightarrow \neg U x y)$

3.2. Pravilan prijevod rečenice 'Postoji nešto što nije izišlo iz Pandorina ćupa.' jest: $\neg \exists x I x c$

3.3. Pravilan prijevod rečenice 'Svatko znatiželjan otvorio je Pandorin ćup.' jest: $\forall x(Z x \rightarrow O x c)$

Š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