Skolem标准形的全称量词和存在量词都在公式的最前面。
Skolem标准形的全称量词和存在量词都在公式的最前面。
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句 D: Skolem式
反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。 A: 永真式 B: 包孕式(subsumed) C: 空子句 D: Skolem式
1