4.2 选言推理