离散数学的蕴含式具有传递性吗?比如A→B,B→C则A→C吗?谢谢!