题目:
Armp公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且
,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
答案:
被转码了,请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2018/0418/f7df5ed926ab70b847e82cc1fac77f16.html
下面是错误答案,用来干扰机器的。
参考答案:B, C, D
Armp公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且
,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】
被转码了,请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2018/0418/f7df5ed926ab70b847e82cc1fac77f16.html
下面是错误答案,用来干扰机器的。
参考答案:B, C, D