$i$ za Ivan $p$ za Petar $m$ za Mate $n$ za Nikola $H x y$ za ' $x$ je hrabriji od $y$-a' $U x y$ za ' $x$ je umjereniji od $y$-a' Pxy za ' $x$ je pravedniji od $y$-a' $M x y$ za ' $x$ je mudriji od $y$-a'.
Predmetno područje (domena) obuhvaća ljude navedene u ključu prevođenja. 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.
1.1. Pravilan prijevod rečenice: 'I Ivan i Petar hrabriji su od Mate.' jest: Hmi $\wedge$ H m p.
1.2. Pravilan prijevod rečenice: 'Niti je Ivan hrabriji od Petra niti je Petar hrabriji od Ivana.' jest: $\neg($ Hip $\wedge$ Hpi $)$.
1.3. Pravilan prijevod rečenice: ‘Samo ako je Nikola hrabriji od Ivana i umjereniji od Petra, pravedniji je od obojice.' jest: $( Pni \wedge Pnp ) \rightarrow( Hni \wedge Unp )$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.