设已知以下事实:A B A→C B∧C→D D→Q求证:Q为真