逻辑学术语。如果S(y,x)真时,R(x,y)必真,则关系R是关系S的逆关系。自然语言中“…的双亲”关系是“…的孩子”关系的逆关系。被动语态中的一个谓词(如“被看到”)可以看作主动语态中的谓词(如“看到”)的逆关系。关系R的逆关系一般写作R。如果P代表“…的双亲”,C代表“…的孩子”,那么就可以说P=C,即“…的双亲”等于“……的孩子”的逆关系。
逆关系(语言)
逆关系(语言):
逻辑学术语。如果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..
谓词逻辑(语言):形式逻辑的最根本部分。也是最基本的逻辑系统或理论。谓词逻辑把命题逻辑作为子系统。除研究复合命题的命题形式、命题联结词的逻辑性质和规律外,还把命题分析成个体词、谓词和量词等非命题成分,并集中研..