当前归结式是（）时，则定理得证。 A: 永真式 B: 包孕式（subsumeD） C: 空了句

当前归结式是（ ）时，则定理得证。 A: 永真式 B: 包孕式（subsumed） C: 空子句

当前归结式是()时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句 D: 用假式

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

用归结反演证明定理时,若当前归结式为( ),则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 原子谓词 D: 空子句

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