SOLUTION: Hi, I need help with finishing these proofs for my PHI class I am so confused! :( [1] 1. ~T 2. R ⊃S 3. S⊃T Conclusion: /~R [2] 1. (F · P)⊃~Y 2

Algebra.Com
Question 999025: Hi, I need help with finishing these proofs for my PHI class I am so confused! :(
[1]
1. ~T
2. R ⊃S
3. S⊃T Conclusion: /~R

[2]
1. (F · P)⊃~Y
2. F
3. J⊃Y
4. P Conclusion: /~J

[3]
1. A v (Bv D)
2. ~A
3. B⊃X
4. D⊃~H
5. ~X Conclusion: /~H

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
1. ~T
2. R ⊃ S
3. S ⊃ T     Conclusion: /~R 

4. ~T ⊃ ~S         3. Transposition
5. ~S              4. Modus ponens    
6. ~S ⊃ ~R         5. Transposition
7. ~R              6,5, Modus ponens

It's easier if you think of them like this, because
they become common sense:

Modus ponens:

If you know that the first implies the second,
then if you have the first, you MUST have the second.

Transposition:  

If the first implies the second, then if you don't have
the second then you MUST NOT have had the first.

---------------------------
1. (F · P) ⊃ ~Y
2. F
3. J ⊃ Y
4. P       Conclusion: /~J 

5. F · P           2,4, Conjunction of premises  
6. ~Y              1,5, Modus ponens
7. ~Y ⊃ ~J           3, Transposition
  
Conjunction of premises:

If you know the first and you know the second,
then you know the first and the second.


---------------------------
 1. A v (B v D)
 2. ~A 
 3. B ⊃ X
 4. D ⊃ ~H
 5. ~X          Conclusion: /~H

 6. ~X ⊃ ~B          3, transposition.
 7. ~B             6,5, modus ponens  
 8. B v D          1,2, disjunctive syllogism
 9. D              8,7, disjunctive syllogism
10. ~H             4,9, modus ponens 



Think of disjunctive syllogism this way:

If you know that you have either the first or the second, 
then if you don't have the first, you MUST have the second.

Edwin

RELATED QUESTIONS

Need help with these proofs using rules of implication! Thank you! 1. P v (T v R)... (answered by Edwin McCravy)
1.(SvT)⊃ (S⊃~T) 2.(S⊃~T) ⊃ (T⊃K) 3.SvT... (answered by jim_thompson5910)
I am preparing for my final and am stuck studying on this problem. Please help me by... (answered by Edwin McCravy)
Looking for a logical proof help using rules of implication! Thank you!

1. (S  (answered by solver91311)
COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR INDIRECT PROOF... (answered by robertb)
Still having issues on proofs 1.(A⊃S)⊃G 2. A⊃Q 3. G⊃B 4.... (answered by t0hierry)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)
how to proof the arguments: 1. T ⊃ G 2. S ⊃ G ∴ (T ∨ S)... (answered by Edwin McCravy)