Usuario:Aaaw04/ejercicio10

De Wikilibros, la colección de libros de texto de contenido libre.

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
Obtenido de «https://es.wikibooks.org/w/index.php?title=Usuario:Aaaw04/ejercicio10&oldid=20057»