联言命题推理规则及应用