当前位置:百科知识 > 人工智能试题

问题描述:

[单选] 反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A.永真式 B.包孕式 C.空子句
参考答案:查看
答案解析:
☆收藏

随机题目