《离散数学课件》谓词逻辑_第1页
《离散数学课件》谓词逻辑_第2页
《离散数学课件》谓词逻辑_第3页
《离散数学课件》谓词逻辑_第4页
《离散数学课件》谓词逻辑_第5页
已阅读5页，还剩59页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

第二章谓词逻辑苏格拉底三段论P:凡人要死Q:苏格拉底是人R:苏格拉底要死此三段论表示为:(PAQ)R局限性:此三段论是正确的,但却不是重言式第三、四章谓词逻辑谓词逻辑基本概念、命题符号化谓词逻辑公式、解释及分类谓词逻辑等值式、前束范式调词逻辑推理理论第一讲谓词逻辑基本概念(3132)个体词谓词量词一阶逻辑中命题符号化31谓词与个体311个体(1)个体(2)个体域个体是指具有独立意义、独立存在的东西。3)项例如:2是有理数。王宏是程序员。小李比小赵高2厘米。其中,2、王宏、小李、小赵都是个体词。个体常项:具体的事务,用a,b,c表示。个体变项:抽象的事物,用x,y,z表示个体域、全总个体域(2)个体域:由个体组成的集合个体域常用J、K.等表示。有限个体域,如{a,b,c},{1,2}无限个体域,如N,Z,R,…全总个体域,宇宙间一切事物组成用U表示。(3)项:包括实体、变量符号和函数符号等。常个体a、泛指个体x、个体的函数f(x6/44312谓词、有关概念1.谓词的定义把语句中表示2.谓词填式个体性质和关系的语3.谓词命名式言成分4.谓词变元称为谓词(predicate)谓词——指个体所具有的性质或若干个体之间的关系7/44例(谓词:表示个体性质或个体间关系)“苏格拉底是人”中的“.是人”。●“苏格拉底是要死的”中的“是要死的”●“张三生于北京”中的“…生于…,”。●“3+2=5”中的“,+,=,”8/44元谓词、二元谓词、三元谓词谓词的元数—谓词所携空位的数目苏格拉底是人”中的“…是人苏格拉底是要死的”中的“…是要死的张三生于北京”中的“,生于●“3+2=5”中的“+…三.”。谓词命名式:携有空位的大写字母M(∴)表示“…是人”D(∴)表示“,是要死的”B(…,…)表示“…生于”。ADD(,∴)表示“…+.=.”。可读性差!可用变元

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论