找考题网-背景图
填空题

Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作()

【参考答案】

增广律
热门试题