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

Algebra ->  Algebra  -> Proofs -> 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       Log On

Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!
Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!

   

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(21667) About Me  (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