试题详情
简答题试由amstrong 公理系统推导出下面三条推理规则：  （ 1 ）合并规则：若X 一Z ， X 一Y ，则有X 一YZ   （ 2 ）伪传递规则：由x 一Y ，明吟z 有翔一z   （ 3 ）分解规则：x 一Y ， zcy ，有x 一z
  • （ 1 ）已知X 一Z ，由增广律知哟，YZ ，又因为X 一Y ，可得狱一X 卜）YZ ，最后根据传递律得x 一YZ 。
    （ 2 ）已知X 一Y ，据增广律得翔一Wy ，因为阴几）Z ，所以X 林协明，Z ，通过传递律可知翔一Z 。
    （ 3 ）已知zcy ，根据自反律知、吟z ，又因为x 一Y ，所以由传递律可得x 一Z 。

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

热门试题