【正确答案】 B

【答案解析】[解析] Armstrong公理系统中的基本推理规则如下：
自反律：若[*]，则X→Y为F所逻辑蕴含；
增广律：若X→Y为F所逻辑蕴含，且[*]，则XZ→YZ为F所逻辑蕴含：
传递律：若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。