文恩图

指用交叉圆圈来表示词项间外延关系的一种图解。英国数学家和逻辑学家文恩(John Venn)1834—1923所发明。文恩对欧拉图作了改进，用一个矩形来表示论域，用“+”号标志有分子存在，用“-”号标志没有分子存在。使用文恩图可以表示传统逻辑中的四种直言命题。对于全称肯定命题“所有S是P”，文恩图表示如下：

对于全称否定命题“所有S不是P”，文恩图表示如下：

对于特称肯定命题“有的S是P”，文恩图表示如下：

对于特称否定命题“有的S不是P”，文恩图表示如下：

使用文恩图还可以表示三段论的推理，并且比较容易地判明一个三段论式是否有效。例如对于第一格的AAA式即“所有M是P并且所有S是M，所以，所有S是P”，文恩图表示如下：

从图中很容易看出这是一个有效式，因为根据两个前提所画出的图形正是表示了“所有S是P”。