Usuario:Gwenmarley/ejercicio14

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

B. 2. Demostrar: A ^ B 

  (1) C → A                     (premisa)
  (2) C                          (premisa)
  (3) C → B                     (premisa)
  (4) A                          (modus ponens 1,2)
  (5) B                          (modus ponens 2,3)
  (6) A ^ B                      (regla de adjunción 4,5)
Obtenido de «https://es.wikibooks.org/w/index.php?title=Usuario:Gwenmarley/ejercicio14&oldid=19841»