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 ->  Proofs -> 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      Log On


   

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(20054) About Me  (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