Ask your own question, for FREE!
Mathematics 21 Online
OpenStudy (anonymous):

logic proof: 1. a-(b->c) 2.c->(d*e) therefore: a->(b->d)

OpenStudy (anonymous):

I know the rules of inference and replacement but i am so stuck on this one

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!