Usuario:Gwenmarley/ejercicio1

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

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)