数理逻辑经典谓词演算.pptVIP

第2章经典谓惘演算 时间:2018年11月14日  前(言 经典命题逻辑是通过数学方法对人类大脑思维习惯和推理习惯的描述。其 中语义推理考虑命题公式的真假,通过命题公式之间的真假关系确定由 些命题公式推出另一些命题公式。语义推理接近人们实际推理时的思维习 惯,易于被人们所接受。  语法推理或形式推理不考虑命题公式的真值,只注重命题公式的形式,只 要满足推理规则所要求的形式,就可以从一些命题公式推出另一些命题公 式。这易于计算机的采纳  但是,以上这两种命题逻辑所硏究的推理并没有完全反映实际推理的情况 经典谓词演算也称经典谓词逻辑或经典一阶逻辑等。下面我们把经典谓词 演算简称为谓词演算或谓词逻辑或—阶逻辑。  2.1 谓词公式  1.n元关系和n元函数 设U为任非空集合,集合UⅹUx…×U (n个U)称为n~籤未尔,其定义如下 ={X1X2 其中,X1X2…X由U中的众再x1还Xx 组成,称为有序元组或简称为n元组。下面我们将n个笛支尔积 简记为Un(n1)。 若HcUn(n21),则称H为U上的n元关系。设 此处V是一个集合,若对任 意的X1X2…Xxn∈U存在唯的y∈V,使得X1X2 Xny∈则称为U上的元函数或称是从U到的函数,记作f:U→V。U称为的定 义域。此处的集合可以等于U,也可以不等于U。  2全称量词符号和存在