谓词逻辑2.1.pptVIP

小结 谓词逻辑最本质的特点是能够通过提取命题中描述性质及关系的词（即谓词）来刻画命题，从而能够深层次体现命题中个体的相关特性。 在谓词逻辑符号化过程中，一定要注意论域的影响，包括对命题真值的影响及符号化形式的影响。 为了解决不同命题所涉及的论域不同的问题，特别引入特性谓词。 根据问题的要求，在进行谓词逻辑符号化时，谓词刻画的深浅层次可以不同，即符号化的形式可以不唯一。 关于两种量词，很多时候是可以相互转换的，即命题符号化的形式可以不唯一。 在命题符号化时，有些量词没有明确给出，要仔细分析并写出这些隐含量词。 小结 作业 一.符号化下列命题。 1. 任何两个不同的人都性格不相同。 2. 尽管有些人爱吃西瓜，但并不是所有人都爱吃西瓜。 二.符号化下列推论。 1.每个大学生不是文科学生就是理工科学生，小张不是理工科学生，因此如果小张是学生，则他就是文科生。 2. 乌鸦是黑色的，天鹅不是黑色的；所以，天鹅不是乌鸦。 * * 离散数学 Discrete Mathematics 主讲：陈哲云 青岛理工大学计算机工程学院 2013.09 数理逻辑 命题逻辑 谓词逻辑 第2章 谓词逻辑 数理逻辑回顾 思维如同加减法一样，是可以演算的。 ——唯物主义哲学家 霍布士 思维演算：遇到争论时, 双方可以把笔拿在手中说:“让我们来算一下”, 就可以把问题解决。 ——数理逻辑创始人 莱布尼兹 数理逻辑 用数学方法研究推理的一门数学学科 -------- 一套符号体系 + 一组规则 数理逻辑回顾 命题逻辑 符号体系 命题p，q，r…… 联结词┐,∧,∨,→ …… 推理演算规则 数理逻辑回顾 数理逻辑回顾 例 若明天是星期一或星期三，我就有课。 若有课，今天必备课。 我今天下午没备课。 所以， 明天不是星期一和星期三。 例 ？ 每个大学生不是文科学生就是理工科学生。小张不是理工科学生。因此如果小张是学生，则他就是文科生。 无法用命题逻辑进行推理证明！ 命题逻辑无法进行上述推理的根本原因是：将命题整体化提取表示太粗略，没有把命题之间的内在联系反映出来。 要反映这种内在联系，就要对原子命题作进一步的细化，分析出其中的个体、谓词、量词等，研究它们之间的形式结构及逻辑关系，这就是谓词逻辑所研究的内容。 谓词逻辑存在的基础就是将命题适当地分解。 为何引入谓词逻辑 谓词逻辑 谓词逻辑 符号体系？ 推理演算规则？ 谓词逻辑 2.1 谓词逻辑基本概念（重点） 2.2 谓词公式及解释（难点） 2.3 谓词逻辑等值式 2.4 谓词逻辑推理理论（补充） 2.1 谓词逻辑基本概念 基本概念 个体词 谓词 量词 谓词逻辑符号化 基本概念 引例 分析下列命题： 青岛是一个宜居城市。 这个C程序包含有a函数和b函数。 命题分解如下： 个体词—— 青岛，C程序，宜居城市，a函数，b函数 表示个体性质的词—— …是一个宜居城市 表示个体间关系的词—— … 包含有…和… 谓词 例2.1 将上述命题谓词逻辑符号化。 1.青岛是一个宜居城市。 a: 青岛； A(x): x 是一个宜居城市。 A(a)：青岛是一个宜居城市。 2.这个C程序包含有a函数和b函数。 a: 这个C程序 ; b:a函数; c:b函数; B(x, y, z):x包含 y和z。 B(a, b, c):这个C程序包含有a函数和b函数。 ——个体常元 ——个体变元 谓词的函数表示 谓词逻辑符号化（一） 练习 将下列命题谓词逻辑符号化。 1. 大红箱子装着旧书。 2. 如果我有一个足够长的杠杆，我就能翘起整个地球。 谓词逻辑符号化（一） 基本概念 n元谓词——谓词中含有n个个体变元 例 A(a) : 0元谓词 A(x): 一元谓词 B(x, y): 二元谓词 C(x, y, z): 三元谓词 思考： n元谓词与命题的关系？ 基本概念 引例 1. 计算机专业的学生都很辛苦。 2.有些计算机专业的学生并不喜欢这个专业。 分解命题如下： 表示数量的词—— 所有的，有的 个体词—— 计算机专业的学生，计算机专业 谓词—— …很辛苦， …喜欢… 量词——表示数量或范围的词 (1) 存在量词： 记作 ? ，表示“有些”、“一些”、“某些”、“至少一个”等。 (2)