Amrstrong公理系统的三条基本推理规则有（）A自反律B增广律C传递律D分解规则