5 - 直言命题及其推理