直言命题直接推理三段论四