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)