数理逻辑练习题及答案-1 第5页