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