搜题
问题   更新时间2024/6/10 16:15:00

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证
·永真式\t\t\t
·包孕式(subsumed)\t\t
·空子句

单选题
·空子句
王老师:19139051760(拨打)