下列哪一条不属于Armstrong公理系统中的基本推理规则?

admin2009-04-22  48

问题 下列哪一条不属于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公理的推论。
转载请注明原文地址:https://kaotiyun.com/show/LFSZ777K
0

相关试题推荐
最新回复(0)