当前归结式是()时,则定理得证。


当前归结式是()时,则定理得证。

A.永真式

B.包孕式(subsumed)

C.空子句

D.以上都不对

正确答案:C


Tag:人工智能 子句 定理 时间:2024-02-08 10:58:28