逻辑学第4章简单命题及其推理第1节直言命题