推理题,用符号写出推理过程,说出论