直言命题推理