Usuario:Gwenmarley/ejercicio15

B.3. Demostrar: ￢￢Q

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