五、假言命题及其有效推理