反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理的证。
A: 空子句
B: 包孕式
C: 永真式
A: 空子句
B: 包孕式
C: 永真式
A
本题目来自[网课答案]本页地址：https://www.wkda.cn/ask/ymtzpymzjzxtaxo.html
举一反三
- 反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句
- 反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 A: A永真式 B: B包孕式 C: C空子句
- 反演归结(消解)证明定理时,若当前归结式是()时 A: 永真式 B: 包孕式 C: 空子句 D: 重言式
- 反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句 D: Skolem式
- 用归结反演证明定理时,若当前归结式为( ),则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 原子谓词 D: 空子句
内容
- 0
利用归结原理证明定理时,若当前归结式是(),则定理得证。 A: 永真式 B: 永假式 C: 空子句 D: 包孕式
- 1
反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
- 2
用归结反演证明定理时,若当前归结式为____,则定理得证。
- 3
利用归结原理证明定理时，若当前归结式是，则定理得证
- 4
利用归结原理证明定理时，若得到的归结式为矛盾式(永假式)，则结论成立。()