逻辑应用-传递关系判定