SOLUTION: 1. ~R 2. S-> R/...(therefore) ~ S Using the first 4 rules of inference: MP, MT, HS, DS Include the premises in your proof

Algebra ->  Proofs -> SOLUTION: 1. ~R 2. S-> R/...(therefore) ~ S Using the first 4 rules of inference: MP, MT, HS, DS Include the premises in your proof      Log On


   

Question 934272: 1. ~R
2. S-> R/...(therefore) ~ S
Using the first 4 rules of inference: MP, MT, HS, DS
Include the premises in your proof
Answer by Edwin McCravy(20056) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~R
2. S-> R
   /...(therefore) ~ S

3. ~R-> ~S    2,MT
4. ~S         3,1,HS

Edwin