文恩图解

---

也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处在于它用不同的区域表示各变元及其补的所有可能的组合，并可表示某一区域是否空类。空类用斜线或””表示，非空类用”+”表示。矩形表示论域，常可省去。用文恩图可以表示传统逻辑中SAP、SEP、 SIP、SOP主谓项的外延关系，如图₂、图₃、图₄、图₅所示。用文恩图检验三段论，需用三元文恩图。由图₆可知三段论第1格AAA式是有效的。