• / 28
  • 下载费用:10 金币  

大学、数理逻辑.ppt

关 键 词:
大学、数理逻辑.ppt
资源描述:
数理逻辑-谓词逻辑,教师:孙继荣 电话:87768609 Email:sunjirong@126.com,数理逻辑-谓词逻辑,学习内容 谓词逻辑基本概念 谓词,个体词,命题函数 量词,自由变元和约束变元 谓词的合式公式,谓词的解释 自然语句的形式化 谓词逻辑的等值和推理演算 谓词逻辑的等值式 范式,基本推理公式 推理演算。,数理逻辑-谓词逻辑,教学要求 理解谓词、量词、变元、个体域等概念 掌握用谓词、量词、联结词构造谓词逻辑公式的方法 掌握谓词公式在给定解释下求真值的方法 会将谓词逻辑化为前束公式 会将谓词逻辑作为工具,将命题符号化,并能用推理规则进行逻辑证明。,2.1 谓词逻辑基本概念,个体词与谓词 在谓词逻辑中,原子命题分解成个体词和谓词 定义:个体词是可以独立存在的客体,它可以是具体事物或抽象的概念 ;个体域是个体(客体)的取值范围;谓词是用来刻划个体词的性质或事物之间的关系的词 大写字母表示谓词,小写字母表示个体(客体) 注意:单独的个体词和谓词不能构成命题,将个体词和谓词分开不是命题.,2.1 谓词逻辑基本概念,个体词与谓词 谓词也称为命题函数或简单命题函数 相关概念:零元谓词,n元谓词,全总个体域,复合命题函数 命题是谓词的特殊情况,2.1 谓词逻辑基本概念,全称量词与存在量词 量词是在命题中表示数量的词 量词有两类: 全称量词,表示“所有的”,“任何的”,或“每一个”; 存在量词,表示“存在某个”或“至少有一个”. 命题符号化必须指明个体域,2.1 谓词逻辑基本概念,全称量词与存在量词 对于一个谓词,如果其中每个变量都有一个量词作用之下,则它就不再是命题函数,而是一个命题了。 在谓词逻辑,使用量词应注意以下几点: 在不同个体域中,命题符号化的形式可能不同,命题的真值也可能会改变。 在考虑命题符号化时,如果对个体域未作说明,一律使用全个体域。 多个量词出现时,不能随意颠倒它们的顺序,否则可能会改变命题的涵义。,2.1 谓词逻辑基本概念,课堂练习:将下列命题符号化 (1)每个母亲都爱自己的孩子; (2) 所有的人都呼吸; (3) 有某些实数是有理数.,2.2 谓词公式,谓词公式只是一个符号串,没有什么意义,但我们给这个符号串一个解释,使它具有真值,就变成一个命题. 所谓解释就是使公式中的每一个变项都有个体域中的元素相对应. 学习这一部分内容要侧重于能将谓词逻辑公式表达式中,消除量词写成与之等值的公式,然后将解释中的数值代入,求出真值,并着重理解在谓词和量词的作用下变元的自由性、约束性和更名规则、代入规则等.,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,… 量词符号:, 逻辑符号: ,,,,, 括号与逗号:(,),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的辖域A中,x的所有出现都是约束出现,即x是约束变元,不是约束出现的变元,就是自由变元. 也就是说,量词后面的式子是辖域. 量词只对辖域内的同一变元有效.,2.2 谓词公式,变元与辖域 自由变元有时会在量词辖域中出现,但是它不受相应量词指导变元的约束。 当谓词公式中没有自由变元时,它就是一个命题。 出现n个自由变元就是n元谓词。 变元可以既是约束出现又是自由出现。 例子:P44,2.2 谓词公式,换名规则: 对约束变元进行换名 就是把公式中量词的指导变元及其该量词辖域中的约束变元换成该公式中没有出现的个体变元,公式的其余部分不变. 代入规则: 对自由变元进行代入 就是把公式中的某一自由变元,用该公式中没有出现的个体变元符号替代,且要把该公式中所有的该自由变元都换成新引入的该符号. 经过换名或代入后,公式的意义不应该改变,2.2 谓词公式,课堂练习 对P44 例1中公式用换名或代入规则 重要公式 xA(x)A(a1)A(a2)A((an) xA(x) A(a1)A(a2)A(an),2.3 谓词的等值演算,解释(赋值): 谓词公式的个体域D是非空集合 (1) 每一个常
展开阅读全文
  微传网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
0条评论

还可以输入200字符

暂无评论,赶快抢占沙发吧。

关于本文
本文标题:大学、数理逻辑.ppt
链接地址:https://www.weizhuannet.com/p-6521635.html
微传网是一个办公文档、学习资料下载的在线文档分享平台

微传网博客

 网站客服QQ:80879498  会员QQ群:727456886

copyright@ 2018-2028 微传网络工作室版权所有

     经营许可证编号:冀ICP备18006529号-1 ,公安局备案号:13028102000124

收起
展开