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

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

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)

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)

Construct proofs for the following using the basic rules of inference. a. C ⊃ (∼A... (answered by Solver92311)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)

SOLUTION: Construct proofs using the Rules of Inference and the Rules of Replacement. The conclusion appears after the slash. 1. P � P 2. Q &#8594; ~P / ~Q

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