基于规则的正向演绎系统的子句形式（）
第1题：
消解是一种可用于一定的（）的重要推理规则。
第2题：
子句是由文字的（）组成的公式
第3题：
此题为判断题(对，错)。
第4题：
基于规则的正向演绎系统的的子集形式（）
第5题：
基于规则的逆向演绎系统的使用条件（）
第6题：
反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
第7题：
求取子句集的步骤包括以下步骤,（）、化成前束范式、将母式化成合取范式、消去全称量词、消去合取连结词、更改变量名。
第8题：
第9题：
基于规则的正向演绎系统的使用条件（）
第10题：
在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。