3.4 消解原理

3.4  消解原理 1函数 命题逻辑里的名词：1.合式公式：命题变元是合式公式，称原子公式人工智能 文字：原子公式和他的否认spa 子句：文字析取的合式公式作用域 消解就是变成子句集后再消解数学 子句集：子句或者空子句构成的集合变量 辖域：做用域原理 3.4.1  子句集的求取 2集合 （任意x）（P(x)且（存在x ）Q（x））能够变为（任意x）（P(x)且（存在y）Q（y））范式 消去存在量词

>>阅读原文<<