Usuario:Gwenmarley/ejercicio3

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

A. 3. Demostrar: P

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