问题详情

Armstrong公理系统的三条推理规则是自反律、传递律和___________。