参考答案：A

解析： 逻辑蕴含的定义是：设R＜U，F＞是一个关系模式，X、Y是U中的属性组，若在R＜U，F＞的任何一个满足F中函数依赖的关系r上，都有函数依赖X→Y成立，则称F逻辑蕴含X→Y。另外，Armstrong公理系统包括三条推理规则：①自反律，若[*]，则X→Y被F逻辑蕴含；②增广律，若X→Y被F逻辑蕴含，且[*]，则XZ→YZ被F逻辑蕴含；
③传递律，若X→Y及Y→Z被F逻辑蕴含，则X→Z被F逻辑蕴含。根据这个定义和以上几条推理规则，可以知道选C和D是错误的(这两个选项本质上是一样的)。选项B看上去像是传递律的表述，不过仔细看可以发现结论反了。