Predmetno područje (domena) obuhvaća Arka, Berciu i Zoetu. 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 ‘Svatko će biti zahvalan onomu tko će mu pomoći.’ jest: $\forall x \forall y(P x y \rightarrow Z x y)$
3.2. Pravilan prijevod rečenice ‘Svatko će pomoći dobroj Zoeti.’ jest: $\forall x(D x \rightarrow P x z)$
3.3. Pravilan prijevod rečenice ‘Ni Bercia ni Zoeta neće pomoći nikomu tko nije dobar.’ jest: $\forall x(\neg D x \rightarrow(\neg P b x \wedge \neg P z x))$
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.