假言推理的例子 第5页