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

Question

下列哪一条不属于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

Answer 1

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