试题详情
简答题试由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。

  • 关注下方微信公众号，在线模考后查看

热门试题