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