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

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.Com

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) (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

RELATED QUESTIONS
write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)

Prove using Inference and Replacement Rules: 1). Q -> R 2). R -> S 3). ~S... (answered by math_tutor2020)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)

Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of Replacement of... (answered by Edwin McCravy)

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)

Q∨P R→~P R→Q Here is what I put but I have not been able to pass... (answered by jim_thompson5910)

F → (O • B), S ↔ ~B, , W ↔ ~S, therefore F → W to demonstrate the validity of... (answered by math_helper)

write a direct proof using the eight rules of inference ~M, (~M � ~N) → (Q... (answered by solver91311)