两个关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的任意两个个体x、y，当x对y具有关系R时，y对x是否具有关系R。有三种情况：如果x对y具有关系R(即“xRy”为真)时，y对x也必定具有关系R(即“yRx”也真)，则称关系R为集合K中的对称关系；如果x对y具有关系R时，y对x必定不具有关系R(即“yRx”为假)，则称关系R为集合K中的反对称关系；如果x对y具有关系R时，而y对x有的具有关系R，有的不具有关系R(即“yRx”有时真、有时假)，则称关系R为集合K中的非对称关系。如：两个数之间的相等关系、概念之间的矛盾关系等都是对称关系；两个数之间的小于关系、概念之间的真包含关系等都是反对称关系；两个数之间不大于关系、人际之间的帮助关系等都是非对称关系。
文恩图解(语言)：也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处..
谓词逻辑(语言)：形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，并集中研..
补集(语言)：集合的基本运集之一。设给定集合A，如有集合C，C=｛X：XA｝，则称C为A的补集，记为C=A′或A。显然C元素是全集中除A以外的所有元素。如全集记为I，I=｛a，b，c｝，A=｛a，b｝，则C=A′=I－A=。补集可图示如下：..
重言式(语言)：也叫”永真式”。常真的真值形式。这类真值形式的特点是：不论包含在其中的变项取什么值，该真值形式的值总是真的，一个真值形式是否为重言式，可用真值表方法来判定。如：⑴p→p。⑵(pp)。⑶pvp。⑷p←→p。可用..