$t$ za Dhrtaraštra $K x$ za ' $x$ je kralj' $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 ispravno prevedene na jezik logike prvoga reda?
Označite točan odgovor u svakoj čestici zadatka.
3.1. Pravilan prijevod rečenice 'Netko tko ima pravo na Dhrtaraštrino prijestolje neće ga i naslijediti.' jest: $\exists x(P x t \wedge \neg N x t)$.
3.2. Pravilan prijevod rečenice 'Neće svatko tko ima pravo na nečije prijestolje i naslijediti to prijestolje.' jest: $\forall x \forall y(P x y \rightarrow \neg N x y)$.
3.3. Pravilan prijevod rečenice 'Nijedan kralj neće naslijediti svoje prijestolje.' jest:
$\neg \forall x(K x \rightarrow N x x)$.
Online pripreme za maturu i instrukcije za srednju školu. Dostupno 24/7.