APORTACION LA NOCHE BOCA ARRIBA

DEMOSTRACION
1: A ^B
2: D → (A ^ C)
3: (B^E) →F
4: B→F
5: G
6: B→G
7: G (5, Ley de adjunción)
8: A (1, Ley de adjunción)
9: C (2, Ley de adjunción)
10: E (3, Ley de adjunción)
11: F (4, Ley de PP)