1701779060
1701779061
在上图中，左上角的图形展示了一种我们日常生活中会用到的三段论。它展示的情形是：一些（但并非全部的）A是B，而一些（但并非全部的）B是A。A可能代表了小型有毛发的动物，而B可能代表了鸭嘴恐龙。有一种动物刚好在A与B的交集上，那便是鸭嘴兽。或者我们也可以用左上角的图来表示：在国际学校里说英语的学生中有一部分同时会说法语，而说法语的学生中的一部分也说英语。（A中的一部分为B，而B中的一部分为A。）只说英语的学生（仅仅是A）必须跟史密斯太太学数学，只说法语的学生（B）必须跟着皮罗特先生学习。而说两种语言的学生则可以跟两位老师中的任意一位学习。
1701779062
1701779063
右上角的图展示了一种更为复杂但也并不少见的情况：一些A为B，一些B为A，一些A为C，一些C为A，一些B为C，而一些C为B。
1701779064
1701779065
最下方的图展示了上述情况的一个现实案例。它展示了希腊字母（左上圆圈）、拉丁字母（右上圆圈）和俄语字母（下方圆圈）的交集。我不相信你能仅仅通过口头表达就弄清楚这些类别重叠的情况。无论如何，我觉得我只能借助字母汤来完成辨认的过程。
1701779066
1701779067
文氏图对于你解决广泛领域内的问题当然是不够的，但是它为你提供了一些展示类别包含和排斥关系的基本图解方法。你可能会发现学习文氏图的确有用。
1701779068
1701779069
命题逻辑
1701779070
1701779071
三段论只能应用于我们日常生活中遇到的很小一部分推理问题。更重要的方法是命题逻辑，它的应用范围更广泛。从公元前300年到公元1300年，哲学家和逻辑学家对于命题逻辑只是略有推进。自19世纪中期开始，逻辑学家开始在这一领域大放异彩，尤其是他们关注了诸如“且”与“或”这样的逻辑用语。“且”的意思为联结，例如，“A发生，且B发生，则A和B同时发生”。“或”的意思为非联结，例如，“A发生，或B发生，则若A发生，B不发生”。在那个年代针对命题逻辑的工作成为后来计算机设计和编程的基础。
1701779072
1701779073
在本章的开头，我曾让你来解决一个有关扑克牌的问题。你现在可以明白，那是一个需要使用条件逻辑来解决的问题。如果P发生，则Q发生。“如果一张牌的一面上有元音字母，那么它的另一面上就是偶数。”在我们来仔细分析这个问题之前，我们先来看看下述问题。
1701779074
1701779075
你是一位警察局局长。你的工作之一是确保餐厅不向21岁以下的人出售酒。你的任务是挑出下列顾客中的一些人来检查，看看他们是否遵守了规矩：“如果一位顾客喝酒了，则这个顾客至少为21岁。”你应当只检查那些需要守这些规矩的顾客。
1701779076
1701779077
在第一张桌前，你看到了4位顾客。你看到：
1701779078
1701779079
1701779080
1701779081
1701779082
你需要检查：
1701779083
1701779084
a.顾客1
1701779085
1701779086
b.顾客1，2，3，4
1701779087
1701779088
c.顾客3和4
1701779089
1701779090
d.顾客1，3，4
1701779091
1701779092
e.顾客1和3
1701779093
1701779094
我敢肯定你会选择c，检查顾客3和4。现在让我们回顾一下扑克牌的问题，我想很少有人在那个问题上选择c，即牌3和4。我们能同意你的选择吗？其实这两个问题的逻辑结构是相同的。请看下述我的逻辑。
1701779095
1701779096
扑克牌问题
1701779097
1701779098
保证遵守这个规则：元音？最好是个偶数在它的背面。
1701779099
1701779100
N—它的背面是否是偶数都无所谓。
1701779101
1701779102
4—它的背面是否是元音字母都无所谓。
1701779103
1701779104
A—它的背面最好是偶数。如果不是，规则就被破坏了。
1701779105
1701779106
3—它的背面最好不是元音字母。如果是偶数，规则就被破坏了。
1701779107
1701779108
餐厅问题
1701779109