SOLUTION: Are these the correct steps to construct formal proof for the following valid argument....please help,I also need help with the reasons. NOt good in proofs P→(a→~b)

Algebra ->  Proofs -> SOLUTION: Are these the correct steps to construct formal proof for the following valid argument....please help,I also need help with the reasons. NOt good in proofs P→(a→~b)       Log On


   

Question 1062000: Are these the correct steps to construct formal proof for the following valid argument....please help,I also need help with the reasons. NOt good in proofs
P→(a→~b)
~(w→s)
S V P
p→(a→~b)
r →(b→~a)
~r




I need to construct formal proof and provide reasons, i came up with above
s V p
p →v ( a →~b)
~(w→s)
r→~(b→~a)
__________________
~r
Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!


p →v ( a →~b)



That doesn't make sense.  

You can't put two connectives together →v