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

Algebra ->  Proofs -> SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. ~P 2. ~(P v Q) → ~R 3. ~Q / ~R       Log On


   

Question 193058: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash.
1. ~P
2. ~(P v Q) → ~R
3. ~Q / ~R
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~P
2. ~(P v Q) → ~R
3. ~Q / ~R
--------------------
4. ~P & Q          1,2    Conjunction
5. ~R              2,4    Modus Ponens