演绎推理2假言命题及假言推理