设F是属性组U上的一组函数依赖，下列叙述正确的是

A．若Y

X，则X→Y为F所逻辑蕴含

B．若X

U，则X→Y为F所逻辑蕴含

C．若X→Y为F所逻辑蕴含，且Z

U，则X→YZ为F所逻辑蕴含

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

建设工程合同的争端经仲裁裁决后，一方当事人发现裁决所依据的证据是伪造的，应（）。

A.审请仲裁机构重新仲裁

B.申请仲裁机构撤销仲裁裁决

C.申请人民法院撤销仲裁裁决

D.申请政府主管部门撤销该裁决