填空题 Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且Z
  • 1、
【正确答案】 1、增广律    
【答案解析】[解析] Armstrong公理系统中有一条推理规则为：若X→Y为F所逻辑蕴涵，且Z[*]U，则X2→YZ为F所逻辑蕴涵。这条推理规则称作增广律。