离散数学谓词逻辑作业 - 第3页