《安全监理表格》PPT课件.ppt
《《安全监理表格》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《安全监理表格》PPT课件.ppt(32页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第第9章谓词逻辑基础章谓词逻辑基础考察这样两个命题:考察这样两个命题:P:张天是大学生张天是大学生Q:王夜是大学生王夜是大学生在命题逻辑中不能统一表示在命题逻辑中不能统一表示为统一表示引入为统一表示引入谓词逻辑谓词逻辑9.1谓词逻辑的基本概念谓词逻辑的基本概念9.1.1 个体、谓词、谓词表达式个体、谓词、谓词表达式一个原子命题主要是由主语和谓一个原子命题主要是由主语和谓语组成。语组成。主语主语就是论述的对象称就是论述的对象称为为个体个体。个体可是具体的,或抽象的个体可是具体的,或抽象的常用常用a,b,c等表示等表示个体可是个体可是一个对象,一个对象,或或多个对象多个对象当个体是当个体是一个对象
2、一个对象时时谓语表示谓语表示它的性质它的性质当个体是当个体是多个对象多个对象时时谓语表示谓语表示它们之间的关系它们之间的关系谓语称为谓语称为谓词谓词常用常用P,Q,R,A,B等表示等表示也常用英文单词来表示也常用英文单词来表示GREAT:大于大于;BETWEEN:位于位于之间之间当一个个体当一个个体a具有性质具有性质P时,就表时,就表示为示为P(a)。这时称。这时称P为为一元谓词一元谓词设设P:是大学生:是大学生a:张天张天b:王夜王夜则两个命题可分别表示为则两个命题可分别表示为P(a),P(b)设设R:大于:大于则则 2大于大于3可表示为可表示为R(2,3)这时称这时称R为为二元谓词二元谓词
3、命题:武汉位于北京和广州之间命题:武汉位于北京和广州之间设设B:位于位于和和之间之间w:武汉武汉 b:北京北京 g:广州广州则命题可表示为则命题可表示为B(w,b,g)这时称这时称W为为三元谓词三元谓词注意:当谓词涉及多个个体时注意:当谓词涉及多个个体时千万不能随意交换个体顺序千万不能随意交换个体顺序如上述如上述R(3,2)表示表示3大于大于2R(2,3)表示表示2大于大于3把语句写成如上形式把语句写成如上形式P(a),R(2,3),B(w,b,g)等就称为等就称为谓词表达式谓词表达式。例例 将下列语句写成谓词表达形式将下列语句写成谓词表达形式(1)苏格拉底是要死的。苏格拉底是要死的。设设D:
4、是要死的是要死的s:苏格拉底苏格拉底则语句写成谓词表达式为则语句写成谓词表达式为D(s)(2)3+5=8设设ADD:+=则写成谓词表达式为则写成谓词表达式为ADD(3,5,8)个体常元个体常元代表一个确切的个体代表一个确切的个体个体变元个体变元代表任意个体的个体代表任意个体的个体例如例如设设D:是要死的是要死的s:苏格拉底苏格拉底s:某块石头某块石头D(s)为真为真D(s)为假为假当谓词表达式随个体变元的取值当谓词表达式随个体变元的取值不同而真值也不同时不同而真值也不同时该谓词表达式不再该谓词表达式不再是命题是命题,称为,称为命题函数命题函数9.1.2 命题函数与个体域命题函数与个体域简单命题
5、函数简单命题函数由一个特定谓词由一个特定谓词P和和n个个体变元个个体变元x1,x2,xn组成的组成的P(x1,x2,xn)的表达式。的表达式。简单命题函数可用所有的命题联简单命题函数可用所有的命题联接词组成复合命题函数。接词组成复合命题函数。A(x):x 学习数据结构课程学习数据结构课程B(x):x 学习计算机数学基础学习计算机数学基础则则A(x)B(x):表示表示x学习数据结学习数据结构和计算机数学基础课程构和计算机数学基础课程A(x)B(x):表示若表示若x学习数据结学习数据结构,则他必学习计算机数学基础构,则他必学习计算机数学基础个体域个体域个体变元的变化范围个体变元的变化范围全总域全总
6、域讨论对象遍及一切个体时,讨论对象遍及一切个体时,个体域特称为个体域特称为全总域全总域例例x是小于是小于100的质数的质数设设L(x,100):x小于小于100P(x):x是质数是质数则可表示为则可表示为L(x,100)P(x)y是非负实数当且仅当是非负实数当且仅当y大于等于大于等于0设设NN(y):y是非负的是非负的E(y,0):y等于等于0G(y,0):y大于大于0则可表示为则可表示为NN(y)E(y,0)G(y,0)9.1.3 量词与辖域量词与辖域 谓词逻辑区别于命题逻辑还有谓词逻辑区别于命题逻辑还有一点更重要的是要讨论量词一点更重要的是要讨论量词,即指即指“所有所有,一切一切,任一个任
7、一个,有有,某些某些,存存在在”分别用符号分别用符号 和和 来表示来表示所有所有,一切一切,任一个任一个为为全称量词全称量词用符号用符号 表示表示.有有,某些某些,存在存在为为存在量词存在量词用符号用符号 表示表示.x P(x)表示个体域中所有的个体表示个体域中所有的个体都满足谓词都满足谓词P x P(x)表示个体域中有个体满足表示个体域中有个体满足谓词谓词P设设 M(x):x是人是人B(x):x是勇敢的是勇敢的则则 x(M(x)B(x)表示为表示为有的个体是人且是勇敢的有的个体是人且是勇敢的或或有人勇敢有人勇敢则则 x M(x)B(x)表示为表示为若个体是人,则必定勇敢若个体是人,则必定勇敢
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 安全监理表格 安全 监理 表格 PPT 课件
限制150内