反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。 选项: A:A: 永真式 B: 包孕式 C: 空子句 D: 永假式 B:2 C:3 D:4 子句 证明 发布时间:2024-06-16 23:17:51