The transitive rule 传递规则
transitive rule of equivalence 等价传递规则
transitive rule of implication 蕴含传递规则
·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐
模块上移
模块下移
不移动