关于三个或三个以上关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的三个任意个体x、y、z，当x对y具有关系R并且y对z具有关系R时，x对z是否具有关系R。有三种情况：如果x对y具有关系R(即“xRy”为真)并且y对z具有关系R(即“yRz”为真)时，x对z必定具有关系R(即“xRz”为真)，则称关系R为集合K中的传递关系；如果x对y具有关系R并且y对z具有关系R时，x对必定不具有关系R(即“xRz”为假)，则称关系R为集合K中的反传递关系；如果x对y具有关系R并且y对z具有关系R时，x对z有的具有关系R，有的不具有关系R(即“xRz”有时真、有时假)，则称关系R为集合K中的非传递关系。如：在同一平面上，直线间的平行关系是传递关系，直线间的垂直关系是反传递关系，直线间的交叉关系是非传递关系。
关系的对称性(语言)：两个关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的任意两个个体x、y，当x对y具有关系R时，y对x是否具有关系R。有三种情况：如果x对y具有关系R(即“xRy”为真)时，y..
文恩图解(语言)：也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处..
谓词逻辑(语言)：形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外，还把命题分析成个体词、谓词和量词等非命题成分，并集中研..
前束范式(语言)：一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方，并且其辖域都延伸至公式末端的公式。如E是一前束范式，则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词，B称为基..
补集(语言)：集合的基本运集之一。设给定集合A，如有集合C，C=｛X：XA｝，则称C为A的补集，记为C=A′或A。显然C元素是全集中除A以外的所有元素。如全集记为I，I=｛a，b，c｝，A=｛a，b｝，则C=A′=I－A=。补集可图示如下：..