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