求解一道离散数学 谓词逻辑推理题