三 选言命题和选言推理