(完整版)直言命题及其推理