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)
