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

admin2007-12-14  47

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

选项

答案增广律

解析
转载请注明原文地址:https://jikaoti.com/ti/9bQ7FFFM
0

相关试题推荐
最新回复(0)