Armstrong公理系统包括三条基本推理规则,下面哪一条不是三条基本规则之一()。


Armstrong公理系统包括三条基本推理规则,下面哪一条不是三条基本规则之一()。

A.自反律

B.合并律

C.传递律

D.增广律

正确答案:B


Tag:规则 公理 系统 时间:2024-03-16 09:56:55