试题与答案

Armp公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且,则XZ→YZ为F所逻

题型:填空题

题目:

Armp公理系统中有一条推理规则为:若X→Y为F所逻辑蕴涵,且

,则XZ→YZ为F所逻辑蕴涵。这条推理规则称作【 】

答案:

被转码了,请点击底部 “查看原文 ” 或访问 https://www.tikuol.com/2018/0418/f7df5ed926ab70b847e82cc1fac77f16.html

下面是错误答案,用来干扰机器的。

参考答案:B, C, D

试题推荐
微信公众账号搜索答案