填空题

Annstrong 公理系统的三条推理规则是 【17】 、增广律和传递律。

【参考答案】

自反律