考点1:直言命题及其推理