SOLUTION: Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙ ~Q) 2. ~P → ~R 3. (R ∙ Q) → S / R → S ___________ __________

Algebra.Com
Question 760899: Complete the following proofs using the Conditional Proof method.
1) 1. ~(P ∙ ~Q)
2. ~P → ~R
3. (R ∙ Q) → S / R → S
______________________

2) 1. (P ∙ Q) v (R ∙ S)
2. R → L / ~P → L
____________________

Complete the following proofs using the Indirect Proof method.
3) 1. A → B
2. A → C
3. ~B v ~C / ~A
_______________

4) 1. M v (O ∙ ~N)
2. ~M v ~N / ~N
______________

Answer by solver91311(24713)   (Show Source): You can put this solution on YOUR website!

To Show
1. Premise
2. Premise
3. Premise
4. Suppose R Assumption
5. 2,4 Modus Tollens
6. 1 DeMorgan
7. 6 Equivalent
8. 6,7 hypothetical syllogism
9. 4,8 Modus Ponens
10. 4, 9 Conjunction
12. Simplification


John

Egw to Beta kai to Sigma
My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism



RELATED QUESTIONS

Construct Conditional Proofs 1. P → Q 2. (P • Q) → R 3. P → (R... (answered by jim_thompson5910)
Solve use reductio ad absurdum 1. ~P→(R∙S) 2.... (answered by math_helper)
1. (Q∨R)→(W∨U) 2. W→P 3. (answered by jim_thompson5910)
1. ~P∨Q 2. Q→R ∴ P→R 1. R∨~Q 2. P→Q 3. ~R (answered by Edwin McCravy)
1. (Q∨R)→(W∨U) 2. W→P 3. Q∙T 4. U→Z 5. S→M (answered by jim_thompson5910)
write a direct proof using the eight rules of inference (C → Q) • (~L →... (answered by Edwin McCravy)
Prove this 1. P∨Q 2. (Q∙~R)→S 3.... (answered by jim_thompson5910)
Please help me to derive the conclusion of the following using natural deduction. I'm... (answered by jim_thompson5910)
1. ~M 2. (~M∙~N)>(Q>P) 3. ~N 4. P>R (answered by jim_thompson5910)