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

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


   



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