单选题

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

A永真式

B包孕式

C空子句

正确答案

来源:www.examk.com

答案解析