反演归结(消解)证明定理时,若当前归结式是()时,则定理得证


反演归结(消解)证明定理时,若当前归结式是()时,则定理得证

永真式

包孕式(subsumed)

空子句

正确答案:空子句


Tag:子句 定理 时间:2024-10-23 21:43:39