在线名词解释大全 - 2 - 详细

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

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