离散数学-一阶谓词逻辑.pptx

1;一阶逻辑;例 Ｐ1：小张是大学生 Ｐ2：小李是大学生 Q1：2大于3 Q2：6大于4 不同原子命题之间是有内在联系的，但命题逻辑无法研究这种内在联系 解决问题的方法 分析原子命题，分离其主语和谓语 考虑一般和个别，全称和存在;谓词和量词;(a) 5是质数 (b) 张明生于北京 (c) 7=3×2 P(x)：x是质数 G(x, y)： x生于y ，a：张明，b：北京 H(x, y, z) ：x=y×z;练习;谓词常元 一个字母代表一特定谓词, 则称此字母为谓词常元(量)。例如P(x)表示“x是质数”这种模式的判断,P就是谓词常元。 谓词变元 若字母代表任意谓词, 则称此字母为谓词变元 论域 谓词命名式中个体变元的取值范围 个体域与全总域 空集不能作为论域;命题函数;例 A(x)：x身体好 B(x)：x学习好 C(x)：x工作好 表示“如果x身体不好，则x的学习与工作都不会好”的复合命题函数 ?A(x)→(?B(x)∧?C(x)) 命题函数不是命题，没有确定真值，但其中谓词是谓词常量时，可通过个体指派使其成为命题。如：若简单命题函数P(X)表示“x是质数”，则P(1)为F，P(2)为T。 除个体指派外，还常用“量”作出判断，如：“所有的人都是要死的”、“有的数是质数”。这种表述在数理逻辑目标语言中需要引入量词，当然量化与个体指派之间是有联系的，数理逻辑中常用量词有两个——全称量词和存在量词。;4.2 量词;全称量词;存在量词;全总个体域（全总域）;例;特性谓词添加规则;4.3 量化断言和命题的关系;x;4.4 谓词公式;函词与谓词的区别 函词中的个体变元用个体代入后的结果依然是个体 f(a)=小王的父亲 谓词中的个体变元用确定的个体带入后就变成了命题 M(x)：x是人 M(a)：小王是人 函词是论域到论域的映射 f : D→D 谓词是从论域到{T,F}的映射 M : D →{T,F};项和原子公式;原子公式(atom) 定义 若P是一个n元谓词，且t1,t2,…,tn是项，则P(t1,t2,…,tn)是 原子公式 命题词也是原子(n=0) 例 P, Q (x), A (x, f (x)), B (x, y, a);谓词演算的合式公式(Wff);命题符号化;例：将下列命题符号化;(4)每个人都有些缺点 H(x, y)：x有y，M(x)：x是人， S(x)：x是缺点 ?x(M(x)→ ?y(S(y)∧H(x,y)) (5)尽管有人聪明, 但未必人人聪明 M(x)：x是人， S(x)：x聪明 ?x(M(x)∧S(x))∧??x(M(x)→S(x)) (6)所有老虎都能吃人 (7)不管白猫黑猫，凡能逮住耗子的就是好猫 (8)无论是步行的、骑马的、乘车的，凡口渴的皆要喝水;练习：将下列命题符号化;练习参考答案;几个特别的例子; (4) 如果人都爱美，则漂亮衣服有销路 M(x)：x是人，L(x)：x爱美， C(x)：x是衣服， B(x)：x是漂亮的，S(x)：x有销路 ;4.5 自由变元与约束变元;一般地， 如果量词后边只是一个原子谓词公式时，该量词的辖域就是此原子谓词公式。 如果量词后边是括号，则此括号所表示的区域就是该量词的辖域。 如果多个量词紧挨着出现，则后边的量词及其辖域就是前边量词的辖域。;约束变元 如果个体变元x在?x或者?x的辖域内，则称x在此辖域内约束出现，并称x在此辖域内是约束变元 自由变元 如果个体变元x不在任何量词的辖域内，则称x是自由出现，并称x是自由变元 例 ?x(F(x,y)→?yP(y))∧Q(z) F(x,y)中的x和P(y)中的y是约束变元 而F(x,y)中的y和Q(z)中的z是自由变元;例：指出下列各公式中的量词辖域及自由变元和约束变元;对约束变元和自由变元的几点说明;P(x,y,z)表示x+y＞z 假设论域是整数集，?x?yP(x,y,z)表示？ “任意给定的整数x，都可以找到整数y，使得x+y＞z” 。 令z=1??则?x?yP(x,y,1)表示？ “任意给定的整数x，都可以找到整数y，使得x+y＞1”,… ?x?yP(x,y,1)表示？;36;37;实例;39;40;41;42;43;44;45;46;47;48;49;50;51;52;53;54;55;56;57;58;59;60;61;62;63;64;65;66;67;68;69;70;71;72;73;74;75;76;77;78