Armstrong公理系统包括三条基本推理规则，下面哪一条不是三条基本规则之一（）。

Armstrong公理系统包括三条基本推理规则，下面哪一条不是三条基本规则之一（）。
A.自反律
B.合并律
C.传递律
D.增广律
正确答案：B