欢迎来到PP题库网 PP题库官网
logo
全部科目 > 大学试题 > 计算机科学 > 人工智能

单项选择题

用归结反演证明定理时,若当前归结式为(),则定理得证。

    A.永真式
    B.包孕式
    C.原子谓词
    D.空子句

点击查看答案

相关考题

微信小程序免费搜题
微信扫一扫,加关注免费搜题

微信扫一扫,加关注免费搜题