3.4 消解原理

3.4  消解原理 1函數 命題邏輯裏的名詞：1.合式公式：命題變元是合式公式，稱原子公式人工智能 文字：原子公式和他的否認spa 子句：文字析取的合式公式作用域 消解就是變成子句集後再消解數學 子句集：子句或者空子句構成的集合變量 轄域：做用域原理 3.4.1  子句集的求取 2集合 （任意x）（P(x)且（存在x ）Q（x））能夠變爲（任意x）（P(x)且（存在y）Q（y））範式 消去存在量詞

>>阅读原文<<