$S x$ za ' $x$ je sud' $Ixy$ za ' $x$ je semantički informativniji od $y$-a' $Pxy$ za 'x slijedi iz $y$-a' $t$ za ' $p \vee \neg p$ ' $k$ za ' $p \wedge \neg p$ '.
Predmetno područje (domena) obuhvaća sve sudove.
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 sud slijedi iz svakoga suda.' jest: $\exists x(S x \wedge \forall y(S y \rightarrow P x y))$.
2.2. Pravilan prijevod rečenice: 'Svaki sud slijedi iz $p \wedge \neg p$ ili $p \vee \neg p$.' jest: $\forall x(S x \rightarrow(P x k \vee P x t))$.
2.3. Pravilan prijevod rečenice: 'Svaki sud slijedi iz svakoga onog suda od kojega on nije semantički informativniji.' jest: $\forall x \forall y((S x \wedge S y \wedge \neg I y x) \rightarrow P x y)$.
ŠTO ČEKAŠ?
Isprobaj potpuno besplatno!
Registracijom dobivaš besplatan* pristup dijelu lekcija za svaki predmet.