Usuario:Gwenmarley/ejercicio18

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)