《数学逻辑与推理》中关于逻辑推理的一道题目