Usuario:Aaaw04/ejercicio 4

La traducción de una sentencia al cálculo de predicados depende del universo de discurso seleccionado. Considere ahora la afirmación “Todos los pájaros tienen alas, pero algunos pájaros no pueden volar”. Traduzca esta sentencia al cálculo de predicados, dados los universos de discursos siguientes:

a)	El conjunto de todos los pájaros                            V : para todo  
b)	El conjunto de todos los animales                           Ë : existe
c)	Las alas, además del conjunto de todos los animales

a) A(X): x tiene alas F(x): x puede volar

   Vx A(x) ^ Ëx-F(x)

b) P(x): x es un pajaro

   Vx(P(x) → A(x)) ^ Ëx(P(x) ^ -F(x))

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

   Vx(P(x) → T(x,alas)) ^ Ëx(P(x) ^ -F(x))