填空题
Armstrong公理系统中有。一条推理规则为:若X→Y为F所逻辑蕴含,且
1、
【正确答案】
1、增广律
【答案解析】
[解析] Armstrong公理系统包括3条推理规则:
①自反律若[*],则X→Y为F所逻辑蕴含。
②增广律著X→Y为F所逻辑蕴含,且[*],则XZ→YZ为F所逻辑蕴含。
③传递律若X→Y及Y→Z为F所逻辑蕴含,则X→Z为F所逻辑蕴含。
提交答案
关闭