数理逻辑---Basic-Studies-in-Computing-Science.ppt

数理逻辑 第四章 谓词逻辑的基本概念 第3章讨论的是命题逻辑，包括基本概念、等值和推理演算、公理化．第4，5，6章将讨沦谓词逻辑的基本概念、等值和推理演算、公理化． 在命题逻辑中，是把简单命题作为基本单元或说作为原子来看待的，不再对简单命题的内部结构进行分析． 如命题：“ 是无理数”、“ 是无理数”是作为两个独立的命题看待的，不考虑这个命题间的联系．事实上这两个命题仍可作分解，它们都有主词和谓词，这样的细分带来的好处是可将这两个有相同谓词(“是无理数”)的命题联系起来． 又如：凡有理数都是实数．2／7是有理数．所以2／7是实数．直观上看这样的推理应该是正确的．然而在命题逻辑里就不能描述这种推理，设这三个命题分别以p，q，r表示，相应的推理形式为： (p ? q) ? r由于对任意的p，q，r来说这推理形式并非重言式，也就是说这个推理形式不是正确的．对这样的人们熟知的推理关系在命题逻辑中得不到正确的描述，自然是命题逻辑的局限性． 只有对简单命题做进一步剖析，才能认识这种推理规律．这就需要引入谓词．引入变量并号虑到表示变量的数量上一般与个别的全称量词和存在量词，进而研究它们的形式结构和逻辑关系，这便构成了谓词逻辑． 为方便起见，第4、5、6章的讨论，约定以小写字母表示命题，而以大写字母来表示谓词． 所介绍的内容限于一阶谓词逻辑或称狭谓同逻辑，将会看到谓词逻辑较命题逻辑复杂得多． 4.1 谓词和个体词4．l．l 谓词 例 张三是学生．李四是学生． 在命题逻辑里，这是两个不同的命题，只能分别以两个不同的符号如p，q表示了．然而分析一下这两个命题的共同点，它们都有主词和谓词，不同的是主词“张三”、“李四”．而谓词“是学生”是相同的，现在我们强调它们的共同点．若以大写符号P表示“是学生”，这样两个命题的共同性可由P来体现了，但主词还需区别开来，便可把这两个命题分别写成P(张三) 和P(李四)． 明显地描述了这两个命题的共同点和不同点．自然一般地可引入变量x来表示主词，于是符号P(x)就表示“x是学生”．通常把P(x)称作谓词． 可以这样来理解谓词： 在一个命题里，如果主词只有一个，这时表示该主词性质或属性的词便称作谓词．这是一元(目)谓词，以P(x)，Q(x)，…表示． 在一个命题里，如果主词多于一个，那么表示这几个主词间的关系的词称作谓词．这是多元谓词，以P(x，y)，Q(x，y)，R(x，y，z)，…表示． 如 “张三和李四是兄弟”．其中“是兄弟”是谓词． “5大于3”．其中“大于”是谓词． “张三比李四高”．其中“比……高”是谓词． “天津位于北京的东南”．其中“位于……东南”是谓词． “A在B上”．其中“在……上”是谓词． 4.1.2 个体词 在数理逻辑中，不使用主词这个词，习惯称为个体词．它是一个命题里表示思维对象的词．P(张三)中的张三是个体词或称个体常项．而谓词P(x)中的变量x为个体变项或个体变元． 有n个个体的谓词P(x１，…，xn)称n项(目、元)谓词．如果P是已赋有确定含义的为谓词，就称为谓词常项．而P表任—谓词时，就称为谓词变项． 将个体变项的变化范围称为个体域或论域，以D表示．并约定谓词逻辑的个体域除明确指明外，都认为是包括一切事物的一个最广的集合．谓词变项的变化范围，不做特别声明时，指一切关系或一切性质的集合．论域是重要的概念，同 一谓词在不同论域下的描述形式可能不同，所取的真假值也可能不同． 4.1.3 谓词的定义 曾将谓词视作为一个个体的性质或多个个体间的关系．还可进一步抽象地定义。谓词是给定的个体域到集合｛T，F｝上的一个映射． 如P(x)其中xD，而P(x)的取值为T或F． 又如“房厂是黄色的”可由谓词 YELLOW(HOUSE) 表示．当HOUSE取值为房子又是黄色的，该命题方为真． 借助于谓词的抽象定义，也可用二元谓词 VALUE(COLOR，HOUSE) 来描述这命题．而VALUE就是个体到｛T，F｝的映射，不—定有什么具体含义，仅当个体COLOR取值为黄色的，HOUSE取值为房子时VALUE就取值为T． 还需说明，一般地说谓词P(X)，Q(x，y)是命题形式而不是命题．因为这里没有指定谓词符号P，Q的含义，即它们是谓词变项．再者，个体词x，y也是个体变项．从而不可能确定P(x)，Q(x，y)的真值是取真还是取假，仅当谓词变项取定为某个谓词常项，并且个体词取定为个体常项时，命题形式才化为命题．如P(x)表x是有理数，那么P(3)是命题，真值为T，Q(x，y)表x大于y，那么Q(2，3)是命题取值为F，谓词的真值依赖于个体变元的论域． 4.1.4 谓词逻辑与命题逻辑 可认为谓词逻辑是命题逻辑的推广，命题逻辑是谓词逻辑的特