Armstrong公理系统包括三条基本推理规则,下面哪一条不是三条基本规则之一( )。
A
自反律
B
合并律
C
传递律
D
增广律

---