Thread: Propositional Logic--Please help

1. A & b
2 A -> (D & G) /need to get D v Q

By simplification we get .
By modus ponems we get from .
Then get D by simplification and then by disjunction.

Originally Posted by ambergarrett955

1. A & b
2 A -> (D & G) /need to get D v Q

3) A (conjunctive simplification)
4) D & G (using 3, assertion)
5) D (using 4, conjunctive simplification)
6) D v Q (using 5, addition)
QED.