Logika - 2021./22. jesen - 19.

Zadan je ključ prevođenja:
VxyV x y za ' xx vjeruje yy-u'
RxyR x y za ' xx razumije yy-a'
pp za Petar
mm 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.

1 bod

19.2. Petar vjeruje nekomu koga ne razumije.

1 bod

19.3. ∃x(Vxp∧Vxm)\exists x(V x p \wedge V x m)

1 bod

19.4. ∀x∀y(Rxy→Vxy)\forall x \forall y(R x y \rightarrow V x y)

1 bod