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)$
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
© 2025, Gradivo.hr