第四节选言命题及其推理