数理逻辑谓词演算.pptxVIP

会计学 1 数理逻辑谓词演算 经典命题逻辑是通过数学方法对人类大脑思维习惯和推理习惯的描述。其中语义推理考虑命题公式的真假，通过命题公式之间的真假关系确定由一些命题公式推出另一些命题公式。语义推理接近人们实际推理时的思维习惯，易于被人们所接受。 第1页/共18页 语法推理或形式推理不考虑命题公式的真值，只注重命题公式的形式，只要满足推理规则所要求的形式，就可以从一些命题公式推出另一些命题公式。这易于计算机的采纳。 第2页/共18页 但是，以上这两种命题逻辑所研究的推理并没有完全反映实际推理的情况。 经典谓词演算也称经典谓词逻辑或经典一阶逻辑等。下面我们把经典谓词演算简称为谓词演算或谓词逻辑或一阶逻辑。 第3页/共18页 谓词公式 2.1 第4页/共18页 1. n元关系和n元函数 设U为任一非空集合，集合 （n个U）称为n个U的笛卡尔积，其定义如下： ={x1,x2,… xn|x1,x2,… xn∈U} 其中，x1,x2,… xn由U中的n个元素x1,x2,… xn 组成，称为有序n元组或简称为n元组。下面我们将n个U的笛卡尔积