Amrstrong公理系统的三条附加的推理规则有()
A:分解规则
B:合并规则
C:传递律
D:增广律
E:自反律
F:伪传递规则
出自:计算机科学