SOLUTION: how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S

Algebra ->  Proofs -> SOLUTION: how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S       Log On


   

Question 1137127: how to solve this using the implication rules and replacement rules.
~(SvQ) /~P>~S

Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~(SvQ)   /~P>~S

2, ~S&~Q     1, DeMorgan's rule

3. ~S        2, Simplification

4. ~SvP      3, Addition

5. Pv~S      4, Commutation

6. ~~Pv~S    5, Double negation

7. ~P>~S     6, Material implication

Edwin