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)
