逻辑知识:联言命题及推理规则