逻辑学如何从A→B B→C C→D这三个已知条件 推出A→D？

Question

麻烦过程解释的详细一点，帮帮忙，急！

Answer 1

这一步解决的问题，怎么详细？
A能推出B，B能推出C，
所以A能推出C，
同理A推出C，C推出D.
所以A 推出D。