2. ZADATAK Zadan je sljedeći ključ prevođenja: fff za fizika TxyT x yTxy za ' xxx treba pomoć od yyy-a' ZxyZ x yZxy za ' xxx zna yyy ' SxS xSx za ' xxx je 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: ∀x∃y(Sy∧Txy∧(∀z((Sz∧Txz)→z=y)))\forall x \exists y(S y \wedge T x y \wedge(\forall z((S z \wedge T x z) \rightarrow z=y)))∀x∃y(Sy∧Txy∧(∀z((Sz∧Txz)→z=y)))
2.2. Pravilan prijevod rečenice: 'Neki superheroji dobro znaju fiziku, a neki ne.' jest: ∃x(Sx∧Zxf)∧¬∃y(Sy∧Zyf)\exists x(S x \wedge Z x f) \wedge \neg \exists y(S y \wedge Z y f)∃x(Sx∧Zxf)∧¬∃y(Sy∧Zyf)
2.3. Pravilan prijevod rečenice: 'Svatko je superheroj ili nitko nije superheroj.' jest: ∀xSx∨¬∃xSx\forall x S x \vee \neg \exists x S x∀xSx∨¬∃xSx
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.