Armstrong公理系统包括三条基本推理规则,下面哪一条不是三条基本规则之一( )。(本题2.5分

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

查看答案