$f$ za fizika Txy za ' $x$ treba pomoć od $y$-a' $Z x y$ za ' $x$ zna $y$ ' $S x$ za ' $x$ је superheroj'.
Označite DA ako su zadane rečenice pravilno prevedene na jezik logike prvoga reda, a NE ako nisu pravilno prevedene na jezik logike prvoga reda.
2.1. Pravilan prijevod rečenice: 'Svatko treba pomoć točno jednoga superheroja.' jest: \[\forall x \exists y(S y \wedge T x y \wedge(\forall z((S z \wedge T x z) \rightarrow z=y))) .\]
2.2. Pravilan prijevod rečenice: 'Neki superheroji dobro znaju fiziku, a neki ne.' jest: \[\exists x(S x \wedge Z x f) \wedge \neg \exists y(S y \wedge Z y f) .\]
2.3. Pravilan prijevod rečenice: 'Svatko je superheroj ili nitko nije superheroj.' jest: \[\forall x S x \vee \neg \exists x S x .\]
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.