Usuario:Diana~eswikibooks/ejercicio 9

• La traducción de una sentencia al cálculo de predicados depende del universo de discurso selecionado. Considere ahora la afirmación "todos los pajaros tienen alas, paro algunos pajaros no pueden volar". Traduzca esta sentencia al cálculo de predicados, dados los universos de discurso siguientes:

a. El conjunto de todos los pajaros.

b. El conjunto de todos los animales.

c. Las alas, además del conjunto e todos los animales.

SOLUCION:

a. A(x): x tiene alas , V(x): x puede volar

  $\forall \;$xA(x)$\land \exists \;$x$\lnot \;$V(x)

b. P(x): x es un pajaro

  $\forall \;$x(P(x)$\Rightarrow \;$A(x))$\land \exists \;$(P(x)  $\land \lnot \;$V(x))

c. T(x,y): x tiene y

  $\forall \;$x(P(x)$\Rightarrow \;$T(x,alas))$\land \exists \;$(P(x)  $\land \lnot \;$V(x))