SOLUTION: Please help me answer this. Thank you in advance I. Construct formal proof of validity for the following statements: G. 1. S > U 2. U > (T > V) 3. ~ (T > V) /: . ~S

Algebra.Com
Question 1137115: Please help me answer this. Thank you in advance
I. Construct formal proof of validity for the following statements:
G.
1. S > U
2. U > (T > V)
3. ~ (T > V) /: . ~S

Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
I'll only pick one and solve it.  I pick G. If you 
want to ask about how I got any of the steps, then feel 
free to ask below and I'll get back to you by email.  
Nobody is going to solve an entire homework assignment 
for you.  The idea here is to help you learn, not do it 
for you so you won't have to learn.

G. 
1. S > U
2. U > (T > V)
3. ~ (T > V) /: . ~S 

           |4. ~~S                AIP
           |5. S                    4, DN
           |6. U                  1,6, MP
           |7. T > V              2,6, MP
           |8. (T>V) ^ ~(T > V)   7,3, Conj. 
 9. ~(~~S)                         lines 4-8 IP
10. ~S                              9, DN      

Edwin

RELATED QUESTIONS

please help to construct a formal proof of validity 1.p>q... (answered by MathLover1)
I know it's a lot, but I've got no where else to go. Please. > is an if/then symbol (answered by richwmiller)
Good morning sir's and ma'ams..Kindly help me answer the following: Construct a formal... (answered by robertb)
Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)
Construct a formal proof of validity for the following arguments by means of Natural... (answered by mccravyedwin)
construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)
Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)
I need help with constructing this proof. Can you help me? Use the laws of inference... (answered by solver91311)