【正确答案】 D

【答案解析】[解析] Armstrong公理系统包括3条基本的推理规则：
①自反律。若Y[*]X[*]U，则X→Y为F所逻辑蕴含。
②增广律。若X→Y为F所逻辑蕴含，且Z[*]U，则XZ→YZ为F所逻辑蕴含。
③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。
由以上的说明可以看出，题干所给的推理规则符合增广律的格式。