问题 填空题

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

答案

参考答案:传递律

解析:

Armstrong公理系统是1974年由Armstrong首先提出的,它包括三条推理原则:自反律、增广律和传递律。

实验题
单项选择题