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.
19.2. Netko izdaje nekoga tko mu je prijatelj.
19.3. x¬lix\forall x \neg lix
19.4. x(PixIxi)\exists x(P i x \wedge I x i)
© 2026, Gradivo.hr