如果结果不匹配，请 
更多“消解是一种可用于一定的()的重要推理规则。”相关的问题
第2题
消解反演证明定理的思路是：给定一个公式集S(前提条件)和目标公式L(结论)，通过反演来求证目标公式L，其证明过程为：否定L，得到～L、把～L加到S中、把新形成的集合{S，～L}化为子句集、应用消解原理，试图导出一个表示矛盾的空子句。()此题为判断题(对，错)。
第4题
关于推理，下列说法正确的是()
A.三段论是一种演绎推理形式。
B.推理是逻辑思维的重要形式。
C.归纳推理比演绎推理更具有说服力。
D.推理是由已知判断，根据一定的思维规则导出一个或一组新的判断的过程。
E.所有可能的假言推理都是逻辑正确的。
