Usuario:Gwenmarley/ejercicio1

A. Usando la regla: P es la negación de ￢P, evitar la regla de doble negación en las deducciones siguientes:

1. Demostrar: ￢P

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