SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. ~(S v R) 2. P → R / ~P

Question 193057: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash.
1. ~(S v R)
2. P → R / ~P

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1. ~(S v R)
2. P → R / ~P 
-----------------
3. ~S & ~R            1    DeMorgan's Law
4. ~R & ~S            3    Commutation
5. ~R                 4    Simplification
6. ~P               2,5    Modus Tollens

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

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

complete the following proofs using only the Rules of Inference,The conclusion appears... (answered by richwmiller)

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

1. (O+M)>S 2. ~S /~M Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

Construct proofs for the following using the basic rules of inference. a. C ⊃ (∼A... (answered by Solver92311)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)

SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. ~(S v R) 2. P &#8594; R / ~P

SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. ~(S v R) 2. P → R / ~P