考点5：假言命题及其推理