问题 单项选择题

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

A.永真式

B.包孕式

C.空子句

答案

参考答案:C

名词解释
多项选择题