Usuario:Gwenmarley/ejercicio14

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)