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

单项选择题

反演归结(消解)证明定理时,若定理得证时,则当前归结式是()。

    A.永真式
    B.包孕式
    C.空子句
    D.永假式

点击查看答案

相关考题

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

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