$S x$ za ' $x$ je sudac' $M x$ za ' $x$ je mudar' $P x$ za ' $x$ je pravedan' $U x$ za ' $x$ je umjeren'.
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.
2.1. Pravilan prijevod rečenice: 'Neki suci nisu pravedni.' jest: $\exists x(S x \wedge \neg P x)$.
2.2. Pravilan prijevod rečenice: ‘Svi su mudri i umjereni suci pravedni.’ jest: $\forall x((S x \wedge M x \wedge U x) \rightarrow P x)$
2.3. Pravilan prijevod rečenice: 'Svi su mudri pravedni, no nisu svi pravedni mudri.' jest: $\forall x(M x \rightarrow P x) \wedge \neg \forall x(P x \rightarrow M x)$
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.