Usuario:Aaaw04/ejercicio8

Considere las premisas siguientes: ËxM(x), Âx(M(x)→ ËyC(x,y)), y Âx(Ëx(C(x,y) →F(x). Dar una derivación formal que demuestre que estas premisas llevan a la conclusión consistente en que debe de existir un y, tal que F(y) sea verdadero. Enuncie las reglas de inferencia utilizadas en la derivación.

                                                               Ë: existe
                                                               Â: para todo

   1. ËxM(x)                       Premisa
   2. Âx(M(x)→ËyC(x,y))            Premisa
   3. M(a)                         1, Sx/a
   4. M(a)→ËyC(a,y)                2, Sx/a 
   5. ËyC(a,y)                     3,4, MP
   6. Âx(ËyC(x,y)→F(x))            Premisa
   7. ËyC(a,y)→F(a)                6, Sx/a
   8. F(a)                         5,7 MP
   9. ËyF(y)                       8, GE