$Z x y$ za ' $x$ će biti zahvalan/zahvalna $y-u$ '
$P x y$ za ' $x$ će pomoći $y-u$ '
a za Arka
$b$ za Berciu
$z$ za Zoetu.
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.
2.1. Pravilan prijevod rečenice 'Arku će pomoći Bercia ili Zoeta.' jest: $P(b \vee z) a$.
2.2. Pravilan prijevod rečenice 'Arko će biti zahvalan Bercii, no ona mu neće pomoći.' jest: $Z a b \wedge \neg P b a$
2.3. Pravilan prijevod rečenice 'Bilo da Arku pomogne Bercia, bilo da mu pomogne Zoeta, bit će zahvalan objema.' jest: $(P b a \vee P z a) \rightarrow(Z a b \wedge Z a z)$
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.