SOLUTION: 1. (O+M)>S 2. ~S /~M Use the eighteen inference rules to construct proofs for the following valid argument

Algebra ->  Proofs -> SOLUTION: 1. (O+M)>S 2. ~S /~M Use the eighteen inference rules to construct proofs for the following valid argument      Log On


   

Question 973427: 1. (O+M)>S
2. ~S /~M
Use the eighteen inference rules to construct proofs for the following valid argument
Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!
1. (O+M)>S
2. ~S     /~M

3. ~S>~(O+M)      1, Contrapositive
4. ~S>(~O•~M)     3, DeMorgan's law
5. ~O•~M        4,2, Modus Ponens
6. ~M             5, Simplification

Edwin