参考答案：增广律

解析： Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且Z

U，则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。