四 假言命题和假言推理