参考答案：D

解析：

Armstrong公理系统包括3条基本的推理规则：

①自反律。若YXU，则X→Y为F所逻辑蕴含。

②增广律。若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含。

③传递律。若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。

由以上的说明可以看出，题干所给的推理规则符合增广律的格式。