试题详情
简答题试由amstrong 公理系统推导出下面三条推理规则:  ( 1 )合并规则:若X 一Z , X 一Y ,则有X 一YZ   ( 2 )伪传递规则:由x 一Y ,明吟z 有翔一z   ( 3 )分解规则:x 一Y , zcy ,有x 一z
  • 关注下方微信公众号,在线模考后查看

热门试题