不相容选言命题的推理规则