离散数学谓词逻辑证明的问题第五个步骤是怎么来的,看不懂,