Usuario:Gwenmarley/ejercicio18

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

B.6. Demostrar: A ^ C

  (1) A ^ ¬B                      (premisa)
  (2) ¬C → B                     (premisa)
  (3) ¬B                          (simplificación adjuntiva 1)
  (4) C                            (modus tollens 2,3)
  (5) A                            (simplificación adjuntiva 1)
  (6) A ^ C                        (regla de adjunción 4,5)