$B x$ za ' $x$ je besmrtno biće' $V x y$ za ' $x$ voli $y$'.
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. Postoji točno jedno besmrtno biće.
19.2. Postoji najmanje jedno, a najviše dva besmrtna bića.
19.3. $\forall x \forall y(B x \rightarrow V x y)$
19.4. $\exists x \forall y(B x \rightarrow V x y)$
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.