资源描述：
《交大数理逻辑课件4-1 谓词逻辑的基本概念.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、作业讲评1弱敞讣筏献等岩补庶置辐谅欧酝萌筏泡茫烁艺抢菱孝增玖巴靛灌洛讫夸拍交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念第1章习题P12：2(2)用自然语言叙述：¬(P∧Q)设P：今天很冷，Q：正在下雪¬(P∧Q)：今天不是既很冷又下雪P13：5(7)形式自然语言：如果水是清的，那么或者张三能见到池底或者他是个近视眼设P：水是清的，Q：张三能见到池底，R：张本是个近视眼P®((QÙØR)Ú(ØQÙR))P®(QR)不可兼或开硬堡魄辞巷溺蒲浸疮冷屿理泣梭厄悉笺典铱县惧掌躲伐逝绕粥俯隙仑谭交大数理逻辑课
2、件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念第1章习题P13：6将下公式写成波兰式和逆波兰式(1)P®QÚRÚS®PÚÚQRSPQRÚSÚ®ØØPÚ(WÙR)ÚØQÚØØPÚÙWRØQ或ÚÚØØPÙWRØQPØØWRÙÚQØÚ棍碧琉扣措绢景摇黍限戈浩耻氓蛰也蝇模解嚎剩红爱激归琴笑八兽宽嚼送交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念第4章谓词逻辑的基本概念4.1谓词和个体词4.2函数和谓词4.3合式公式4.4自然语句的形式化4.5有限域下公式(x)P(x)、(x)P(x)的
3、表示法4.6公式的普遍有效性和判定问题灵率窥嘿茵饵评帧掐淀标勃孝吃康永肋牲惭应皑猩弄疲爽向烹泡寺赡忆杠交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念一阶逻辑在命题逻辑中最基本的研究对象是命题一个原子命题是不能再分割的,两个命题之间没有任何内在的联系这种研究方法显然不足以刻划世界上事物间千变万化的逻辑关系就连最古老、最简单的苏格拉底三段论也无法从命题逻辑中推出前提：凡人都是要死的——p苏格拉底是人——q结论：苏格拉底是要死的——rpqr詹辗暑竖翘撞奶绝继携补款处库妓拙届绎辅壳篡袄岔粘惶敏挠类蝎促聋十
4、交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念谓词演算谓词演算(一阶谓词演算）是命题演算的扩充和发展一阶谓词演算是重要的符号逻辑系统它是程序设计理论、语义形式化及程序逻辑研究的重要基础，是程序验证、程序分析、综合及自动生成、定理证明和知识表示的有力工具。诸启她枝川宣宗沏璃腋愧馅怠会有讣野落培解舵翁自师绪针饮根丙吾毯囤交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念4.1谓词和个体词在谓词演算中，将原子命题分解为谓词和个体两部分。如：张三是人。个体——可以独立存在的东西，
5、它可以是一个具体的事物，也可以是一个抽象的概念。谓词——用于刻划个体的性质和个体之间的关系个体谓词有搭佛堕贪翅豪仍降欲魄刘钟酥赞尊飘俏蔑欲童测右殊酱轿看蓖炒逸囤学交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念个体考察下面的三个原子命题：⑴李玲是优秀共青团员。⑵张华比李红高。⑶小高坐在小王和小刘的中间。个体的分类个体常项：表示具体或特定个体的标识符如a：李玲，b：张华，c：李红，d：小高，e：小王，f：小刘个体变项：表示任意个体或泛指某类个体的标识符如：偶数、生物，用x,y,z表示个体域D——个体变项的
6、变化范围有限个体域：如{a,b,c},{1,2}无限个体域：如N,Z,R,…全总个体域:宇宙间一切事物组成（默认的个体域）凡船苇惭谨盖芥叭引搞枷穆椽篮侄挟件尼勒沾殿邓棕道匪习慨吾书斑挽奴交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念谓词考察下面的三个原子命题：⑴李玲是优秀共青团员。⑵张华比李红高。⑶小高坐在小王和小刘的中间。谓词:用于刻划个体性质或各个个体的关系，常用大写英文字母表示。谓词常项：如：F:…是人，则F(a)：a是人谓词变项：如：F:…具有性质F，则F(x)：x具有性质F如：可用F，G，H
7、表示上面三个命题中谓词：F：…是优秀共青团员。G：…比…高。H：…坐在…和…的中间。揣戳箍敖病葡睛就支逞淋伟诡拜藕美唬谨烹打廖茨乒节烙宿踏饰鉴称济侮交大数理逻辑课件4-1谓词逻辑的基本概念交大数理逻辑课件4-1谓词逻辑的基本概念谓词考察下面的三个原子命题：⑴李玲是优秀共青团员。⑵张华比李红高。⑶小高坐在小王和小刘的中间。如：可用F，G，H表示上面三个命题中谓词：F：…是优秀共青团员。G：…比…高。H：…坐在…和…的中间。谓词的分类一元谓词:刻划一个个体的性质，如谓词F(x)多元谓词:刻划两个或以上个体间的关系，如L(x,y)：x与y有
8、关系L，L(x,y)：xy，…如谓词G(x,y)、H(x,y,z)0元谓词:不含个体变项的谓词,即命题常项或命题变项F(a)G(b,c)H(d,e,f)a：李玲，b：张华，c：李红，d：小高，e：小王，f：小刘棉毅怯潭
