Usuario:Gwenmarley/ejercicio3

A. 3. Demostrar: P

  (1) ￢P → ￢Q                 (premisa)
  (2) Q                         (premisa)
  (3) P                         (modus tollens 1,2)