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.Com
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)   (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 

RELATED QUESTIONS


i need help for the following ,,,need to construct a formal proof for the  following... (answered by Edwin McCravy)

I need help on constructing the proof to make the argument valid. The Commas are the... (answered by math_helper)

How do you construct a formal proof for the following argument:
A ^ (B v C) to conclude... (answered by Adam)

Construct a formal proof for the following argument

1. P>R         
2. (Q&P)vP... (answered by Edwin McCravy)

Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by math_helper)

Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by Edwin McCravy)

Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by Edwin McCravy)

I have 3 questions on my exercise that really have me stumped.
Here are the directions... (answered by jim_thompson5910)

1. use the proof method (M9) to construct a formal proof to demonstrate that the... (answered by Edwin McCravy)