（离散数学）用谓词逻辑推理的方法证明下面推理的有效性。要求按照推理的格式书写推理过程

（离散数学）用谓词逻辑推理的方法证明下面推理的有效性。要求按照推理的格式书写推理过程。