填空题
Armstrong公理系统的三条推理规则是自反律、增广律和{{U}} [17] {{/U}}。
1、
【正确答案】
1、传递律
【答案解析】
[解析] Armstrong公理系统是1974年由Armstrong首先提出的,它包括三条推理原则:自反律、增广律和传递律。
提交答案
关闭