Usuario:Gwenmarley/ejercicio16

B.4. Demostrar: B ^ D

  (1) B ^ C                    (premisa)
  (2) B → D                   (premisa)
  (3) B                        (simplificación adjuntiva 1)
  (4) D                        (modus ponens 2,3)
  (5) B ^ D                    (regla de adjunción 3,4)