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 .

By modus ponems we get from .

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