1. A & b

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

Printable View

- Dec 5th 2007, 07:49 PMambergarrett955Propositional Logic--Please help
1. A & b

__2 A -> (D & G) /need to get D v Q__ - Dec 6th 2007, 04:03 AMPlato
By simplification we get $\displaystyle A \wedge B\, \Rightarrow \,A$.

By modus ponems we get $\displaystyle D \wedge G$ from $\displaystyle A\, \Rightarrow \,\left( {D \wedge G} \right)$.

Then getby simplification and then $\displaystyle D \vee G$ by disjunction.**D** - Dec 6th 2007, 05:25 AMkalagota