1. A & b 2 A -> (D & G) /need to get D v Q
Follow Math Help Forum on Facebook and Google+
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.
View Tag Cloud