$e$ za 'Europa' $P x$ za ' $x$ je planet' $O x y$ za ' $x$ je u orbitalnoj rezonanci s $y$-om' $S x$ za ' $x$ je satelit'.
Predmetno područje (domena) obuhvaća sva tijela Sunčeva sustava.
Jesu li zadane rečenice pravilno prevedene na jezik logike prvoga reda? Označite točan odgovor u svakoj čestici zadatka.
3.1. Pravilan prijevod rečenice 'Neki su sateliti u orbitalnoj rezonanci s Europom.' jest: $\exists x(S e \wedge O e x)$.
3.2. Pravilan prijevod rečenice 'Nisu svi sateliti u orbitalnoj rezonanci sa svakim planetom.' jest: \(\neg \forall x \forall y((S x \wedge P y) \rightarrow O x y)\)
3.3. Pravilan prijevod rečenice 'Postoje sateliti koji su u orbitalnoj rezonanci s nekim drugim satelitom.' jest: \(\exists x \exists y(S x \wedge S y \wedge x \neq y \wedge O x y)\)
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.