单项选择题

反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。
A、永真式
B、包孕式(subsumed)
C、空子句

微信扫码免费搜题