逻辑学简单命题及其推理直言命题的直接推理