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

1. P • P
2. Q → ~P / ~Q
----------------
3. P             1    Simplification
4. ~~P           3    Double Negation
5. ~Q          2,4    Modus Tollens