Logika - 2022./23. jesen - 19.

Zadan je sljedeći ključ prevođenja:
PxyPxy za ' xx je prijatelj yy-u'
lxyl x y za ' xx izdaje yy-a'
ii za Ivica.
Prevedite zadane rečenice i napišite in 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. Nekomu nitko nije prijatelj.

1 bod

19.2. Netko izdaje nekoga tko mu je prijatelj.

1 bod

19.3. ∀x¬lix\forall x \neg lix

1 bod

19.4. ∃x(Pix∧Ixi)\exists x(P i x \wedge I x i)

1 bod