数学西游 197 判断对错

文恩竖起大拇指：“对，开车的人，与喝酒的人——这两个集合不能有共同元素！朋友们，这两个例子都非常好！现在，我们明确了两个集合之间的关系，就是有且只有这四种可能。那我问大家：为什么要研究这个问题呢？”

大家又陷入了沉思中。一位客人站起身来，大声说：“这是提醒我们，思考两个集合的关系时，要充分考虑到四种可能？”

“太好了！想用文恩图检验三段论，就必须牢记这四种可能！” 文恩举起一只胳膊，兴奋地说，“朋友们，注意了！注意了！现在，真正的挑战来了！我们敢迎战吗？”

“敢！”所有听众都情绪高昂，异口同声地回答。

“话说王二和朋友聚餐时，认识了一个新朋友，这个人名叫张三。王二看到张三腰中别着一把枪，心中疑惑，心想：这人是干什么的？张三对王二说：所有便衣警察都要随身带枪，所以我是便衣警察。”

文恩说到这里，突然停顿下来，过了半天，他才说：“你们是从逻辑世界来的，自然知道什么是三段论，谁能告诉我，张三是怎么论证的？”

一位客人说：“他是通过三段论来论证的。”

文恩说：“好，那前提是什么，结论又是什么？”

一位客人说：“第一个前提是：所有便衣警察都要随身带枪。”

文恩说：“对了，这句话是真的。”

又一位客人说：“第二个前提是：张三随身带枪。”

文恩说：“对了，这是事实，也是真的。”

又一位客人说：“结论是：张三是便衣警察。”

文恩说：“好，张三就是通过这个三段论来论证的。那么，这个结论对吗？”

听众们又开始了热烈的讨论。

悟空说：“这好像不对吧？”

沙僧说：“我也觉得不对，可是，为什么呢？”

“画一画，不就知道了嘛！”八戒说完就蹲在地上，捡起一根小棍画了个大圈，说：“这个圈表示随身带枪的人。”

悟空和沙僧也跟着蹲下来。八戒又画了个小圈：“这个圈表示便衣警察。因为所有便衣警察都带枪，所以这个圈在带枪的大圈中。”

沙僧说：“张三随身带枪，也在这个大圈中！”

“哈哈，这太明显了，张三虽然在大圈中，却不一定在小圈中！”悟空指着图说。

“对，如果他不在小圈中，就不是便衣警察！”沙僧说完就站起身，冲台上的文恩喊：“我们知道了！”