单选题下列选项中不属于Armstrong公理系统中的基本推理规则的是( )。

A、若
B、若X→Y，则XZ→YZ
C、若X→Y，且
D、若X→Y，且Y→Z，则X→Z

【正确答案】 C

【答案解析】[解析] 选项A为自反律、选项B为增广律、选项D为传递律、选项C是Arrestrong公理的推论。