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.
19.2. Svatko razumije Zdeslava.
19.3. $\forall x R m x$
19.4. $\exists x(L z x \wedge R x z)$
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
© 2025, Gradivo.hr