什么是维恩图？

维恩图是用来说明集合之间关系的图形，它用圆来表示不同集合元素的逻 辑关系，并且用了逻辑算子（计算机领域被称为“布尔算子”“和”（and )、“或” (or)和“非”（not)。1881 年，约翰•维恩（John Venn，1834—1923 )在他的《符 号逻辑》一书中首次使用了维恩图。在这本著作中，维恩解释并改正了乔治•布 尔（George Boole, 1815—1864 )和奥古斯特斯•狄摩根（Augustus de Morgan， 1806—1871 )著作中的一些含混概念。虽然人们没有广泛接受他对布尔著作所 进行的修改，但这种新的图表法被认为是一种进步。维恩用阴影来表示包含和 不包含的关系。以刘易斯•凯罗尔（Lewis Carroll)这一名字而为世人所瞩目的 查尔斯•道奇（Charles Dodgson)，用封闭图表代表全集，从而改进了维恩图。