Usuario:Aaaw04/ejercicio10

Dar una derivación formal para (P(a) ^ ÂxP(x))↔ ÂxP(X).

                                                      Â: Para todo   

  1. P(a) ^ ÂxP(x)                  Suposicion
  2. ÂxP(x)                         1, simplificacion
  3. P(a) ^ ÂxP(x)                  Deduccion
  4. ÂxP(x)                         Suposicion
  5. P(a)                           4,Sx/a
  6. P(a) ^ ÂxP(x)                  4,5, combinacion
  7. ÂxP(x)→P(a) ^ ÂxP(x)           Deduccion
  8. (P(a) ^ ÂxP(x)↔ ÂxP(x)         3,7 introduccion de la equivalencia