在线名词解释大全 - 题目 - 详细

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

A
永真式
B
包孕式(subsumed)
C
空子句
正确答案:
相关推荐
扫描二维码
关注公众平台