离散数学作业7答案(数理逻辑部分)