填空题
Atmstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且
，则XZ→YZ为F所逻辑蕴涵。这条推理规则称作 【2】 。
【参考答案】
增广律
增广律