单项选择题

下列哪些条目不属于Armstrong公理系统中的基本推理规则?()
Ⅰ.若YX,则X→Y
Ⅱ.若X—Y,则XZ→YZ
Ⅲ.若X→Y,且ZY,则X→Z Ⅳ.若X→Y,且Y→Z,则X→Z
Ⅴ.若X→Y,且X→Z,则X→YZ

A.仅Ⅱ和Ⅳ
B.仅Ⅳ和Ⅴ
C.仅Ⅰ和Ⅲ
D.仅Ⅲ和Ⅴ