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