A-A+

下列哪一条不属于Armstrong公理系统中的基本推理规则?A.若Y∈x 则X→YB.若x→

2022-08-05 23:34:52 问答库 阅读 173 次

问题详情

下列哪一条不属于Armstrong公理系统中的基本推理规则?
A.若Y∈x,则X→Y
B.若x→Y,则XZ→YZ
C.若x→Y,且z∈Y,则X→z
D.若x→Y,且Y→Z,则x→z

参考答案

正确答案:C
解析:选项A)为自反律、选项B)为增广律、选项D)为传递律,选项c)是Armstrong公理的推论。

考点:公理,规则