逻辑学中使用的图叫做 皮尔士-文恩图。这种图是由美国逻辑学家、哲学家查尔斯·桑德斯·皮尔士（Charles Sanders Peirce）和英国逻辑学家约翰·文恩（John Venn）分别独立发展起来的。皮尔士-文恩图通过使用“x”和“o”符号来表示集合中的元素是否包含在某个集合中，从而能够表示特称命题以及选言和联言的复合命题。这种图形化表示方法在逻辑学中具有重要地位，因为它提供了一种直观的方式来理解和操作逻辑结构。皮尔士-文恩图与布尔代数有着密切的联系，每一个皮尔士-文恩图都可以找到一个与其等价的布尔公式，反之亦然。