逆关系(语言)

逆关系(语言):

逻辑学术语。如果S(y,x)真时,R(x,y)必真,则关系R是关系S的逆关系。自然语言中“…的双亲”关系是“…的孩子”关系的逆关系。被动语态中的一个谓词(如“被看到”)可以看作主动语态中的谓词(如“看到”)的逆关系。关系R的逆关系一般写作R。如果P代表“…的双亲”,C代表“…的孩子”,那么就可以说P=C,即“…的双亲”等于“……的孩子”的逆关系。

为您推荐

关系的自返性(语言)

关系的自返性(语言):关于关系项与其自身的一类关系性质。它所涉及的问题是:对于集合K中一个确定的关系R来说,集合K中任意一个个体x与其自身是否具有关系R。有三种情况:如果x与其自身都具有关系R(即“xRx”为真),则称关系R..

关系的传递性(语言)

关系的传递性(语言):关于三个或三个以上关系项之间的一类关系性质。它所涉及的问题是:对于集合K中一个确定的关系R来说,集合K中的三个任意个体x、y、z,当x对y具有关系R并且y对z具有关系R时,x对z是否具有关系R。有三种情况:..

关系的对称性(语言)

关系的对称性(语言):两个关系项之间的一类关系性质。它所涉及的问题是:对于集合K中一个确定的关系R来说,集合K中的任意两个个体x、y,当x对y具有关系R时,y对x是否具有关系R。有三种情况:如果x对y具有关系R(即“xRy”为真)时,y..

文恩图解(语言)

谓词逻辑(语言)

谓词逻辑(语言):形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外,还把命题分析成个体词、谓词和量词等非命题成分,并集中研..

欧拉图解(语言)①

欧拉图解(语言):也译”欧勒图解”。由瑞士数学家欧拉创造的一种图解方法。它用圆圈表示概念外延间的各种可能关系。概念间的五种关系,用欧拉图解可表示为: 欧拉图解也可用来检验三段论的有效性。..

前束范式(语言)

前束范式(语言):一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方,并且其辖域都延伸至公式末端的公式。如E是一前束范式,则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词,B称为基..