离散数学测验题——谓词逻辑答案