问题
填空题
Armp公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z
U,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作______。
答案
参考答案:增广率
解析: Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z
U,则xz→YZ为F所逻辑蕴涵。这条推理规则称作增广率。
Armp公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z
U,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作______。
参考答案:增广率
解析: Armstrong公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且Z
U,则xz→YZ为F所逻辑蕴涵。这条推理规则称作增广率。