二、不相容选言命题及其推理