Usuario:Gwenmarley/ejercicio15

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

B.3. Demostrar: ¬¬Q

  (1) P ^ Q                     (premisa)
  (2) Q                         (simplificación adjuntiva 1)
  (3) ¬¬Q                      (doble negación)