Logika - 2017./18. ljeto - 3.

Zadan je sljedeći ključ prevođenja:

$C x y$ za ' $x$ čita $y$-ova pisma'
$Lxy$ za ' $x$ ljubi $y$-a'
$A x y$ za ' $x$ se ljuti na $y$-a'.

Predmetno područje (domena) obuhvaća sve ljude.

Označite DA ako je zadana rečenica pravilno prevedena na jezik logike prvoga reda, a NE ako nije.

3.1. Pravilan prijevod rečenice 'Nitko ne čita pisma onih na koje se ljuti.' jest:
\[\forall x \forall y(\neg C x y \rightarrow A x y) .\]

3.2. Pravilan prijevod rečenice 'Netko čita pisma samo onih koje ljubi.' jest: $\exists x \forall y(C x y \rightarrow L x y)$.

3.3. Pravilan prijevod rečenice 'Svatko se ljuti na onoga koga ljubi.' jest: $\forall x \forall y(L x y \rightarrow A x y)$.

Š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