SOLUTION: Solve this one proof below with formal proof (these are all valid arguments). all premises are separated by commas. (P ∨ Q) · ~R, ~R ⊃ (S · ~P), Q ⊃ (P ∨ T) ∴ T ∨

Algebra.Com
Question 1142573: Solve this one proof below with formal proof (these are all valid arguments). all premises are separated by commas.
(P ∨ Q) · ~R, ~R ⊃ (S · ~P), Q ⊃ (P ∨ T) ∴ T ∨ U
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
 1.  (P ∨ Q) · ~R 
 2.  ~R ⊃ (S · ~P)
 3.  Q ⊃ (P ∨ T)          ∴ T ∨ U

 4. ~R · (P ∨ Q)          1, commutation
 5. ~R                    4, simplification
 6. S · ~P                2,5, modus ponens
 7. ~P · S                6, commutation
 8. ~P                    7, simplification
 9. P ∨ Q                 1, simplification
10. Q                     9,8, disjunctive syllogism
11. P ∨ T                 3,10 modus ponens
12. T                     11,8 disjunctive syllogism
13. T ∨ U                 12, addition

Edwin
RELATED QUESTIONS

Solve this proof below with formal proof these are all valid arguments. All premises are (answered by math_helper)
Solve this proof below with formal proof these are all valid arguments. All premises are... (answered by Edwin McCravy)
I have 3 questions on my exercise that really have me stumped. Here are the directions... (answered by jim_thompson5910)
Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)
Hello, Can someone please help me. I submitted this problem yesterday and it due in... (answered by rapaljer)
What is the Formal Proof for P v (Q ^... (answered by lynnlo)
Very confused with this proof, any help would be appreciated!! Conditional Proof - can... (answered by jim_thompson5910)
i need help for the following ,,,need to construct a formal proof for the following... (answered by Edwin McCravy)
Construct a formal proof of validity for the following arguments by means of Natural... (answered by mccravyedwin)