三、简单命题及其有效推理