Logika - 2018./19. jesen - 3.

Zadan je sljedeći ključ prevođenja:

$n$ za Narcis
$N x y$ za ' $x$ neprimjetno žudi za $y$-om'
$C x y$ ' $x$ čuje $y$-a'
$P x y$ ' $x$ primjećuje $y$ - $a$ '.

Predmetno područje (domena) obuhvaća likove iz grčkih mitova.

Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu.
3.1. Pravilan prijevod rečenice 'Svatko primjećuje onoga koga čuje.' jest: $\forall x \forall y(C x y \rightarrow P x y)$.
3.2. Pravilan prijevod rečenice 'Nitko ne primjećuje onoga koji za njim neprimjetno žudi.' jest: $\forall x \forall y(N x y \rightarrow \neg P x y)$.
3.3. Pravilan prijevod rečenice 'Narcis čuje nekoga tko ga primjećuje i tko za njim neprimjetno žudi.' jest: $\exists x(C x n \wedge P x n \wedge N x n)$.
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.
© 2025, Gradivo.hr