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

Algebra.Com
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)   (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

RELATED QUESTIONS

1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)
1. ~(~E.~N)>T 2. G>(N+E) /G>T Use the eighteen inference rules to construct proofs... (answered by Edwin McCravy)
1. R>~B 2. D+R 3. B /D Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)
Premise: 1. (K ∨ L) ⊃ (M • N) 2. (N ∨ O) ⊃ (P • ~K) Conclusion: ~K Use (answered by math_tutor2020)
Using the eighteen valid argument forms, prove that the following arguments are valid.... (answered by math_helper)
A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)
A. Use the first thirteen rules of inference to derive the conclusions of the following... (answered by CPhill)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)