单选题
下列哪些条不属于Armstrong公理系统中的基本推理规则?( )
Ⅰ．若
，则X→Y
Ⅱ．若X→Y，则XZ→YZ
Ⅲ．若X→Y且
Ⅰ．若
，则X→YⅡ．若X→Y，则XZ→YZ
Ⅲ．若X→Y且
【正确答案】
B
【答案解析】