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

Logika - 2022./23. ljeto - 19.

Zadan je sljedeći ključ prevođenja:

$L x y$ za ' $x$ se ljuti na $y$-a'
$R x y$ za ' $x$ razumije $y$-a'
$m$ za Mislav
$z$ za Zdeslav

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.

Predmetno područje (domenu) čine svi ljudi.
19.1. Mislav se ni na koga ne ljuti.
Ovo pitanje nosi 1 bod
19.2. Svatko razumije Zdeslava.
Ovo pitanje nosi 1 bod
19.3. $\forall x R m x$
Ovo pitanje nosi 1 bod
19.4. $\exists x(L z x \wedge R x z)$
Ovo pitanje nosi 1 bod