问题
填空题
Armp公理系统的三条推理规则是自反律、增广律和()。
答案
参考答案:传递律
解析:
Armstrong公理系统是1974年由Armstrong首先提出的,它包括三条推理原则:自反律、增广律和传递律。
Armp公理系统的三条推理规则是自反律、增广律和()。
参考答案:传递律
解析:
Armstrong公理系统是1974年由Armstrong首先提出的,它包括三条推理原则:自反律、增广律和传递律。