反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
1 阅读
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
- A: 永真式
- B: 包孕式
- C: 空子句
请帮忙给出正确答案和分析,谢谢!
搜题,就来89问答库