SOLUTION: (X->Y)->Z, W->(X->Y) therefore W->Z Can I just say hyp syllogism where (x->y)is one thing?

Algebra ->  Proofs -> SOLUTION: (X->Y)->Z, W->(X->Y) therefore W->Z Can I just say hyp syllogism where (x->y)is one thing?       Log On


   

Question 387106: (X->Y)->Z, W->(X->Y) therefore W->Z
Can I just say hyp syllogism where (x->y)is one thing?
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Yes, you would use a hypothetical syllogism to combine the two expressions.


Remember, the Hypothetical Syllogism (H.S.) is 
   p -> q  
   q -> r  
:. p -> r



In this case, p is W, q is (X->Y), and r is Z.