Dodatnih 10 EUR POPUSTA na svaki predmet za maturu pri odabiru!

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
Ovo pitanje nosi 1 bod
19.2. Nitko nije prijatelj onome tko nije njegov prijatelj.
Ovo pitanje nosi 1 bod
19.3. Nije svatko tko se druži s nekim njegov prijatelj.
Ovo pitanje nosi 1 bod
19.4. ∀x∀y(Dxy→Pxy)\forall x \forall y(D x y \rightarrow P x y)
Ovo pitanje nosi 1 bod