离散数学谓词逻辑作业 -