SOLUTION: I'm not positive how to write the symbols on a computer so hopefully I do this right. I need help doing the proof of: (P^G)⇒R, (R^S)⇒T, P^S, G∨R /(therefore) R&#8

Algebra ->  Proofs -> SOLUTION: I'm not positive how to write the symbols on a computer so hopefully I do this right. I need help doing the proof of: (P^G)⇒R, (R^S)⇒T, P^S, G∨R /(therefore) R&#8      Log On


   

Question 361792: I'm not positive how to write the symbols on a computer so hopefully I do this right. I need help doing the proof of: (P^G)⇒R, (R^S)⇒T, P^S, G∨R /(therefore) R∨T. Thanks!
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


One of the givens is

,

So let's first assume



We are given



So now we have



Hence by



We have



And therefore



But if



Then from



We can deduce



And therefore




John

My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism