四、选言命题及其有效推理