Zadan je sljedeći ključ prevođenja:
$s$ za 'Sokrat'
Cxy za ' $x$ cijeni $y-a$ '
Pxy za ' $x$ poštuje $y-a$ '
$O x y$ za ' $x$ je optužio $y-a$ '
Predmetno područje (domena) obuhvaća sve ljude.
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 'Nitko ne cijeni Sokrata.' jest:$\exists x \neg C x s$
3.2. Pravilan prijevod rečenice 'Tko god ne cijeni Sokrata, a cijeni sebe, optužio ga je.' jest: $\forall x(\neg C x s \rightarrow(C x x \wedge O x s))$
3.3. Pravilan prijevod rečenice 'Neki od onih koji poštuju sebe ne poštuju Sokrata.' jest: $\exists x(P x x \wedge \neg P x s)$