Pxy za ' $x$ je prijatelj $y$ ' $D x y$ za ' $x$ se druži s $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. $\forall x \exists y P x y$
19.2. Nitko nije prijatelj onome tko nije njegov prijatelj.
19.3. Nije svatko tko se druži s nekim njegov prijatelj.
19.4. $\forall x \forall y(D x y \rightarrow P x y)$
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.