Logika - 2021./22. jesen - 19.

Zadan je ključ prevođenja:
$V x y$ za ' $x$ vjeruje $y$-u'
$R x y$ za ' $x$ razumije $y$-a'
$p$ za Petar
$m$ za Miljenko.
Prevedite zadane rečenice i napišite ih na crte. Ako je zadana rečenica iskazana prirodnim jezikom, prevedite je na jezik logike prvoga reda, a ako je iskazana jezikom logike prvoga reda, prevedite je na prirodni jezik.
19.1. Netko nikomu ne vjeruje.
19.2. Petar vjeruje nekomu koga ne razumije.
19.3. $\exists x(V x p \wedge V x m)$
19.4. $\forall x \forall y(R x y \rightarrow V x y)$
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

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

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