一、自返 通俗解释:
自己本身有没有这个性质,如自己是否了解自己等
一定了解(自返)
不一定了解(非自返)
肯定不了解(禁自返)
1.1 自返关系:在关系判断中,关系项之间所存在的某种关系是否也存在于某关系项与其自身之间的一种性质 百度百科
特定论域中的任一对象x,都有R(x,x)成立,则称关系R为该论域上的自返关系
例:▲ABC 与 ▲DEF相似
关系:相似
主:▲ABC
谓:▲DEF
论域:三角形
解释:任一三角形,都与自身相似,所以"相似"是"三角形"论域上的自返关系
1.2 非自返关系:特定论域中,存在对象x(一个或多个),R(x,x)不成立,则称关系R为该论域上的非自返关系
例:钟会了解邓艾
关系:了解
主:钟会
谓:邓艾
论域:人
解释:钟会并不一定了解自己,邓艾也不一定了解自己,了解(自己,自己)不成立,所以了解是人这个论域上的非自返关系。
1.3 禁自返关系:特定论域中,任一对象x,R(x,x)都不成立,则称关系R为该论域上的禁自返关系
例: 珞珈山在东湖的西边
关系:在.....的西边
主:珞珈山
谓:东湖
论域:地点
解释:任一地点都不可能在自己的西边,所以关系"在....的西边"是"地点"论域上的禁自返关系。