简答题

试由amstrong 公理系统推导出下面三条推理规则

正确答案

(l)合并规则:若X一Z,X一Y,则有X一YZ
(2)伪传递规则:由x一Y,明吟z有翔一z
(3)分解规则:x一Y,zcy,有x一z
证明
(l)已知X一Z,由增广律知哟,YZ,又因为X一Y,可得狱一X卜)YZ,最后根据传递律得x一YZ。
(2)已知X一Y,据增广律得翔一Wy,因为阴几)Z,所以X林协明,Z,通过传递律可知翔一Z。
(3)已知zcy,根据自反律知、吟z,又因为x一Y,所以由传递律可得x一Z。

答案解析

相似试题
  • 对系统用数学手段描述时,可分为以下三种主要模型:公理模型、结构模型、功能模型。

    判断题查看答案

  • 交运算是扩充运算,可以用()推导出。

    填空题查看答案

  • 不必存储属性值,而是从其他属性值推导出值的属性称为()属性。

    填空题查看答案

  • 密码分析者不仅知道一些消息的密文,还知道个别密文块对应的明文,试图推导出加密密钥或算法,这种攻击被称为()

    单选题查看答案

  • Amrstrong公理系统的三条基本推理规则有()

    多选题查看答案

  • 简述公理系统的3个条件。

    简答题查看答案

  • 下面关于ArcGISXML导入/导出功能描述错误的是()

    单选题查看答案

  • Amrstrong公理系统的三条附加的推理规则有()、()、()。

    填空题查看答案

  • Armstrong公理系统最基本的三个推理规则是:()。

    填空题查看答案