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.
19.2. Petar vjeruje nekomu koga ne razumije.
19.3. x(VxpVxm)\exists x(V x p \wedge V x m)
19.4. xy(RxyVxy)\forall x \forall y(R x y \rightarrow V x y)
© 2026, Gradivo.hr