当前学科:计算机科学与技术
  • 题目: 未知类型
    定义谓词如下:boy(x):x是男孩,girl(x):x是女孩,high(x,y):x比y高。用谓词逻辑表示下列知识(),如果马良是男孩,张红是女孩,则马良比张红长得高。

      A.(boy(mal)∧girl(zhangh))→high(mal,zhangh)

      B.boy(mal)→high(mal,zhangh)

      C.girl(zhangh)→high(mal,zhangh)

      D.high(mal,zhangh)→(boy(mal)∧girl(zhangh))

    答案: <查看本题扣1积分>

    查看答案

    答案不对?请尝试站内搜索