设关系模式R(U，F)，其中U为属性集，F是U上的一组函数依赖，下列叙述正确的是( )。

A．若

，则Y→X为F所逻辑蕴涵
B．若

，则X→Y为F所逻辑蕴涵
C．若X→Y为F所逻辑蕴涵，且

，则YZ→XZ为F所逻辑蕴涵
D．若X→Y，Y→Z为F所逻辑蕴涵，则X→Z为F所逻辑蕴涵