找考题网-背景图
单项选择题

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

A.若YX,则X→Y
B.若X→Y,则XZ→YZ
C.若X→Y,且ZY,则X→Z
D.若X→Y,且Y→Z,则X→Z

热门试题