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


   

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