第二章节 谓词逻辑1.ppt

26/44 谓词公式的解释 给定两个谓词公式A和B，D是它们共同的个体域，若A→B在D中是永真式，则称遍及D有 ；若D是全总个体域，则称 若 且 ，则称 。 命题逻辑中的恒等式和永真蕴含式全部可以推广到谓词逻辑中。 27/44 含有量词的等价式和永真蕴含式 量词转换律 例：设P(x)：x今天来上课。 软件工程系的全体同学。 ：所有同学今天都来上课了。 ：不是所有人今天都来上课了。 ：今天有人没有来上课。 ：有人今天来上课了。 ：没有人今天来上课。 ：所有的人今天都没有来上课。 28/44 量词转换律 （其中A(x)是任意的公式） 证明 设个体域 ,则 29/44 量词辖域扩张及收缩律 证明：仅对第一个式子证明，其余类推。 30/44 量词分配律 全称量词对Λ满足分配律，存在量词对∨满足分配律。 证明：仅证明第一个式子。 31/44 量词分配律 全称量词对∨，存在量词对Λ 不满足分配律。 例：个体域是人的集合。 A(x)：x是女人。 B(x)：x是男人。 为真； 为假。 为假. 为真。 仅满足： 为正确理解上面第二式。设 A(x) :x会用左手拿筷子吃饭 B(x): x会用右手拿筷子吃饭 32/44 重要等价式和永真蕴含式 33/44 重要等价式和永真蕴含式 34/44 重要等价式和永真蕴含式 35/44 量词交换式 36/44 记忆规律 37/44 2.2谓词逻辑中的推理规则 谓词公式的翻译 推理规则 38/44 谓词公式的翻译 任何整数都是实数。 P(x)：x是整数； Q(x)：x是实数。 符号化为： 没有不犯错误的人。 P(x)：x是人； Q(x)：x犯错误。 符号化为： 或符号化为： 39/44 谓词公式的翻译 有一个大于10的偶数。 P(x)：x10； Q(x)：x是偶数。 符号化为： 每个学生都要锻炼身体。 P(x)：x是学生； Q(x)：x锻炼身体。 符号化为： 不能符号化为： 40/44 有的狮子不爱喝咖啡。 P(x)：x是狮子； Q(x)：x爱喝咖啡。 符号化为： 不能符号化为： 41/44 谓词公式的翻译 不管黑猫白猫，抓住老鼠就是好猫。 P(x)：x是黑猫。 Q(x)：x是白猫。 R(x)：x是抓住老鼠的猫。 G(x)：x是好猫。 符号化为： 有些人对某些食物过敏。 A(x)：x是人。 B(x)：x是食物。 C(x,y)：x对y过敏。 符号化为： 42/44 谓词公式的翻译 一切人不是一样高。 P(x)：x是人。 Q(x,y)：x与y一样高。 R(x,y)：x与y是不一样。 符号化为： 不是一切人都一样高。 符号化为： 或： 44/44 作业 P39 1,2(2),3 2 9 全总个体域是指论域是一切可以作为对象的东西的集合。 12 当一个一元谓词常量命名式的个体域确定之后，经某个量词的作用(叫量化)，将被转化为一个命题，可以确定其真值。 17 量词出现的次序很重要，不能随便交换 23 上面的③式对是自由的，②式对亦是自由的，①式和④式对是不自由的。 23 上面的③式对是自由的，②式对亦是自由的，①式和④式对是不自由的。 2/44 离散数学 第二章 谓词逻辑 3/44 谓词逻辑的引入 在命题逻辑中，试进行下列推理: “苏格拉底三段论”： 凡人都是要死的， P 苏格拉底是人， Q 所以苏格拉底是要死的。R (PΛQ)→R 命题逻辑中，命题被当作一个基本的，不可分割的单位，只研究由原子命题和联接词所