反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。
A: 永真式
B: 包孕式(subsumed)
C: 空子句
D: Skolem式
A: 永真式
B: 包孕式(subsumed)
C: 空子句
D: Skolem式
C
举一反三
内容
- 0
利用归结原理证明定理时,若当前归结式是(),则定理得证。 A: 永真式 B: 永假式 C: 空子句 D: 包孕式
- 1
反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
- 2
当前归结式是（ ）时，则定理得证。 A: 永真式 B: 包孕式（subsumed） C: 空子句
- 3
当前归结式是()时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句 D: 用假式
- 4
用归结反演证明定理时,若当前归结式为____,则定理得证。