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

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


   

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