$t$ za Dhrtaraštra $j$ za Yudhišthira $d$ za Duryodhana $K x$ za ' $x$ je kralj' $S x y$ za ' $x$ je stariji od $y$-a' $Pxy$ za ' $x$ ima pravo na $y$-ovo prijestolje' $N x y$ za ' $x$ će naslijediti $y$-ovo prijestolje'.
Predmetno područje (domena) obuhvaća likove iz epa Mahabharata.
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 'Duryodhana nije stariji od Yudhišthire ni od Dhrtaraštre, a Yudhišthira nije stariji od Dhrtaraštre, no jest od Duryodhane.' jest: \[ (\neg S d j \wedge \neg S d t) \wedge(\neg S j t \wedge S j d) \]
2.2. Pravilan prijevod rečenice 'Yudhišthira je stariji od Duryodhane samo ako ima pravo na Dhrtaraštrino prijestolje.' jest: $Pjt$$\rightarrow$ $Sjd.$
2.3. Pravilan prijevod rečenice 'lako Yudhišthira ima pravo na prijestolje kralja Dhrtaraštre, on to prijestolje neće naslijediti.' jest: $P j K t \wedge \neg N j t$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.