设F是属性组U上的一组函数依赖，下列( )属于Armp公理系统中的基本推理规则。

A．若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含

B．若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含

C．若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含

D．若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含

某股份有限公司是一家需要编制季度财务会计报告的上市公司；下列2005年第三季度比较财务会计报告所提供的数据，错误的是( )

A．2005年9月30日资产负债表和2004年9月30日资产负债表的比较数据

B．2005年第三季度利润表和2004年同期利润表的比较数据

C．2005年年初至2005年第三季度末利润表和2004年同期利润表的比较数据

D．2005年年初至2005年第三季度末现金流量表和2004年同期现金流量表的比较数据