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

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)
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)
Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)
use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by Edwin McCravy)