Usuario:Gwenmarley/ejercicio18

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

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)
Obtenido de «https://es.wikibooks.org/w/index.php?title=Usuario:Gwenmarley/ejercicio18&oldid=19846»