单项选择题

下列哪些条不属：Armstrong公理系统中的基本推理规则( )
Ⅰ．若Y X，则X→Y Ⅱ．若X→Y，则XZ→YZ
Ⅲ．若X→Y，且
，则X→Z Ⅳ．若X→Y，且Y→Z，则X→Z ．
∨．若X→Y，且X→Z，则X→YZ

点击查看答案&解析