数理逻辑-谓词逻辑

《数理逻辑-谓词逻辑》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、数理逻辑－谓词逻辑教师：孙继荣电话：87768609Email:sunjr0@scrtvu.net数理逻辑－谓词逻辑学习内容谓词逻辑基本概念谓词，个体词，命题函数量词，自由变元和约束变元谓词的合式公式，谓词的解释自然语句的形式化谓词逻辑的等值和推理演算谓词逻辑的等值式范式，基本推理公式推理演算。数理逻辑－谓词逻辑教学要求理解谓词、量词、变元、个体域等概念掌握用谓词、量词、联结词构造谓词逻辑公式的方法掌握谓词公式在给定解释下求真值的方法会将谓词逻辑化为前束公式会将谓词逻辑作为工具，将命题符号化，并能用推理规则进行逻辑证明。2.1谓词逻辑基本概念个体词与谓词在

2、谓词逻辑中，原子命题分解成个体词和谓词定义：个体词是可以独立存在的客体，它可以是具体事物或抽象的概念；个体域是个体（客体）的取值范围；谓词是用来刻划个体词的性质或事物之间的关系的词大写字母表示谓词，小写字母表示个体（客体）注意：单独的个体词和谓词不能构成命题，将个体词和谓词分开不是命题.2.1谓词逻辑基本概念个体词与谓词谓词也称为命题函数或简单命题函数相关概念：零元谓词，n元谓词，全总个体域，复合命题函数命题是谓词的特殊情况2.1谓词逻辑基本概念全称量词与存在量词量词是在命题中表示数量的词量词有两类：全称量词，表示“所有的”，“任何的”，或“每一个”；存

3、在量词，表示“存在某个”或“至少有一个”.命题符号化必须指明个体域2.1谓词逻辑基本概念全称量词与存在量词对于一个谓词，如果其中每个变量都有一个量词作用之下，则它就不再是命题函数，而是一个命题了。在谓词逻辑，使用量词应注意以下几点：在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变。在考虑命题符号化时，如果对个体域未作说明，一律使用全个体域。多个量词出现时，不能随意颠倒它们的顺序，否则可能会改变命题的涵义。2.1谓词逻辑基本概念课堂练习：将下列命题符号化(1)每个母亲都爱自己的孩子；(2)所有的人都呼吸；(3)有某些实数是有理数.2.2谓词

4、公式谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题.所谓解释就是使公式中的每一个变项都有个体域中的元素相对应.学习这一部分内容要侧重于能将谓词逻辑公式表达式中，消除量词写成与之等值的公式，然后将解释中的数值代入，求出真值，并着重理解在谓词和量词的作用下变元的自由性、约束性和更名规则、代入规则等.2.2谓词公式字母表的意义个体常项：a,b,c,…a0,a1,a2,…个体变项：x,y,z,…x0,x1,x2,…函数符号：f,g,h,…f0,f1,f2,…谓词符号：P,Q,R,…S0,S1,S2,…量词符号：，

5、逻辑符号：，，，，，括号与逗号：(,)2.2谓词公式相关概念：字母表项：递归定义P43原子公式2.2谓词公式合式公式递归定义：P43命题常数0，1，一个命题和命题变元以及一个命题函数P(x1,x2,…,xn)，统称原子公式由原子公式、联结词和量词可构成谓词公式(严格定义见教材).命题的符号化结果都是谓词公式。例子：x(F(x)G(x))，x(F(x)G(x))，xy(F(x)F(y)L(x,y)H(x,y))等都是谓词公式.2.2谓词公式变元与辖域在谓词公式xA和xA中，x是指导变元，A是相应量词的辖域.在x和x的辖

6、域A中，x的所有出现都是约束出现，即x是约束变元，不是约束出现的变元，就是自由变元.也就是说，量词后面的式子是辖域.量词只对辖域内的同一变元有效.2.2谓词公式变元与辖域自由变元有时会在量词辖域中出现，但是它不受相应量词指导变元的约束。当谓词公式中没有自由变元时，它就是一个命题。出现n个自由变元就是n元谓词。变元可以既是约束出现又是自由出现。例子：P442.2谓词公式换名规则：对约束变元进行换名就是把公式中量词的指导变元及其该量词辖域中的约束变元换成该公式中没有出现的个体变元，公式的其余部分不变.代入规则：对自由变元进行代入就是把公式中的某一自由变元，用该

7、公式中没有出现的个体变元符号替代，且要把该公式中所有的该自由变元都换成新引入的该符号.经过换名或代入后，公式的意义不应该改变2.2谓词公式课堂练习对P44例1中公式用换名或代入规则重要公式xA(x)A(a1)A(a2)A(an)xA(x)A(a1)A(a2)A(an)2.3谓词的等值演算解释(赋值)：谓词公式的个体域D是非空集合(1)每一个常项指定D中一个元素；(2)每一个n元函数指定Dn到D的一个函数；(3)每一个n元谓词指定Dn到{0,1}的一个谓词.解释就是对各个变项指定特殊的常项去代替，有四部分组成：(1)非空个体域D；(2)D中有

8、一部分特定元素，用来解释个体常项；(3)D上一些特定函数，用来解释