文恩图解法

---

英国数学家文恩(John Venn，1834－1923)所创立的用图形来表示概念间外延关系的一种直观方法。

文恩图解法是对欧拉图解法的发展，它通常用一个矩形方框表示全集，用在这方框中画著的园中的点集合表示全集中的子集，因而它比欧拉图解法能够更加确切地表示概念间外延关系。文恩图解法用下述四个图形来表示在传统的直言判断中主项“S”与谓项“P”在概念外延间的各种关系：

图(一)表示：所有“S”是“P”图中的划横线部分表示“”的“S”是不存在的。

图(二)表示：没有“S”是“P”，即：所有“S”都不是“P”。

图中横线部分表示，既是S又是P的部分是不存在的。

图(三)表示：有的“S”是“P”。图中两个圆圈重合部分中的“+”号表示：有的“S”是“P”或至少有的“S”是“P”。

图(四)表示：有的“S”不是“P”。图中“S”内的“+”号表示：有的“S”不是“P”或至少有的“S”不是“P”。