老刘是大刘的父亲,大刘是小刘的父亲,所以老刘不是小刘的父亲。这是( )。

题目类型: 单选题

题目内容

老刘是大刘的父亲,大刘是小刘的父亲,所以老刘不是小刘的父亲。这是( )。

题目选项

A. 传递关系推理
B. 禁传递关系推理
C. 对称关系推理
D. 禁对称关系推理

正确答案

B

题目解析

禁传递关系:如果对于特定论域中的任一对象X、任一对象y和任一对象Z,若R(X,y)和R(y,z)成立,则R(X,Z)—定不成立,那么称关系R为该论域上的禁传递关系。

题目纠错