谓词逻辑中使用归结进行定理的自动证明,与命题定理自动证明相比,宏观上步骤相同,分别是: 1)构造所有条件和结论非的合取式; 2)将上述合取式化为可归结的子句集; 3)对上述子句集中的子句进行归结,如果归结为空则得证。 关于谓词和命题中上述三个步骤的具体实施过程,下面说法正确的是( )。
第一节 一切分析判断的最高原理 1. 不论知识内容或者知识主体间的关系,分析判断不自相矛盾。但即使判断没有内部矛盾仍然无根据。即不符合矛盾律一定是错的,但即使符合矛盾律,也不一定为真不是真理性知识。矛盾律:任何与一物相矛盾的谓词都不该归于该物。