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)$
ŠTO ČEKAŠ?

Isprobaj potpuno besplatno!

Registracijom dobivaš besplatan*
pristup dijelu lekcija za svaki predmet.

*Besplatan pristup ne zahtijeva unos kartice.
© 2025, Gradivo.hr