填空题

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

【参考答案】

自反律