$Pxy$ za ' $x$ sklapa pogodbu s $y$-om' $M x y$ za ' $x$ je nadmudrio $y$-a'.
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. Svatko je nekoga nadmudrio.
19.2. $\exists x \forall y(P x y \wedge M y x)$
19.3. Nitko nije nadmudrio one s kojima sklapa pogodbu.
19.4. $\forall x \neg M x x$
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.