Logika - 2022./23. jesen - 19.

Zadan je sljedeći ključ prevođenja:

Pxy za ' $x$ je prijatelj $y$-u'
$l x y$ za ' $x$ izdaje $y$-a'
$i$ 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. $\forall x \neg lix$
19.4. $\exists x(P i x \wedge I x i)$
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.
© 2025, Gradivo.hr