1. A & b

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

Printable View

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

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

By modus ponems we get from .

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