Logika - 2023./24. jesen - 19.

Zadan je sljedeći ključ prevođenja:
PxyPxy za ' xx je prijatelj yy '
DxyD x y za ' xx se druži s yy '.
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. ∀x∃yPxy\forall x \exists y P x y
19.2. Nitko nije prijatelj onome tko nije njegov prijatelj.
19.3. Nije svatko tko se druži s nekim njegov prijatelj.
19.4. ∀x∀y(Dxy→Pxy)\forall x \forall y(D x y \rightarrow P x y)
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
Naša ponuda
Online skripte
Pravne stranice
© 2026, Gradivo.hr