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

admin2007-12-14  37

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

选项

答案增广律

解析
转载请注明原文地址:https://kaotiyun.com/show/vncZ777K
0

随机试题
最新回复(0)