企源知识库

老刘是大刘的父亲，大刘是小刘的父亲，所以老刘不是小刘的父亲。这是（　）。
A、传递关系推理
B、禁传递关系推理
C、对称关系推理
D、禁对称关系推理
【正确答案】：B
【题目解析】：禁传递关系：如果对于特定论域中的任一对象X、任一对象y和任一对象Z，若R（X，y）和R（y，z）成立，则R（X，Z）—定不成立，那么称关系R为该论域上的禁传递关系。