Armstrong公理系统包括三条基本推理规则,下面哪一条不是三条基本规则之一( )。
·自反律
·合并律
·传递律
·增广律
出自:佳木斯大学语言治疗学