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

1. ~P
2. ~(P v Q) → ~R
3. ~Q / ~R
--------------------
4. ~P & Q          1,2    Conjunction
5. ~R              2,4    Modus Ponens