1. A & b

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

Printable View

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

__2 A -> (D & G) /need to get D v Q__ - Dec 6th 2007, 05:03 AMPlato
By simplification we get .

By modus ponems we get from .

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