[试题]

（ 17 ） Armstrong 公理系统的三条推理规则是自反律、增广律和 ( 17 ) 。

参考答案与解析：