也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处在于它用不同的区域表示各变元及其补的所有可能的组合，并可表示某一区域是否空类。空类用斜线或””表示，非空类用” ”表示。矩形表示论域，常可省去。用文恩图可以表示传统逻辑中SAP、SEP、 SIP、SOP主谓项的外延关系，如图2、图3、图4、图5所示。用文恩图检验三段论，需用三元文恩图。由图6可知三段论第1格AAA式是有效的。
出版时间：1992-08 《世界图解》 : 伟大的捷克教育家扬·阿姆司 · 夸美纽斯(Ян. Амос Коменский,1592-1672)的一部名著,一部广为欧洲诸国采用的儿童教科书,旨在对小学生进行常识教育。夸美纽斯..
《西方艺术史图解辞典》：[英]克里斯托费·劳埃德作序，珍妮·哈维兰编。北屋等译。上海人民美术出版社1990年6月版。15万字。共10卷：一、史前艺术，二、古代世界，三、希腊世界，四、罗马世界和中世纪早期，五、中世纪后期，六、意..
句法图解(语言)：指用图形来表示句子格局、组合层次和成分关系。常用的有：(1)符号法，即在原句上加上符号。如加=表示主语，加一表示述语，加表示宾语，加( )表示定语，加〔 〕表示状语，加〈 〉表示补语，。如”他〔很快〕吃〈完〉了(..
文恩图解(语言)：也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处..
谓词逻辑(语言)：形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，并集中研..