登录  注册

首页->人工智能

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

(A)永真式

(B)包孕式(subsumed)

(C)空子句

参考答案
继续答题:下一题
微考学堂微考学社

更多人工智能试题

考试