第二章谓词逻辑2015-3-30预案.ppt

第二章 谓词逻辑;前一章介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原子命题。 原子命题作为具有真假意义的陈述句至少是由主语和谓语两部分组成。 例如，电子商务是计算机技术的一个应用系统。 在这里“电子商务”是主语，而“是……”是谓语。 当主语改变为“电子政务”时就得到新的原子命题： 电子政务是计算机技术的一个应用系统。 谓词逻辑是对原子命题作进一步分析，分析出其中个体词、谓词和量词，研究它们形式结构的逻辑关系，正确的推理形式和规则。;定义2.1.1 在原子命题中，所描述的对象称为个体；用以描述个体的 性质或个体间关系的部分，称为谓词。 ;例子：;命题的谓词形式;命题的谓词形式的约定： (a) 对给定命题，小写字母表示个体，大写字母表示谓词，规定把小写 字母写在大写字母右侧的圆括???( )内。 (b)命题的谓词形式中的个体出现的次序影响命题的真值，不得随意变动， 否则真值会有变化。 (c) 用谓词表达命题，必须包括客体和谓词两部分。 ;二、原子谓词 ;论域;由一个或者n个简单命题函数以及逻辑联结词组合而成的表达式称为复合命题函数。 逻辑联结词┐， ∧，∨ ，→ 和 ? 的意义与命题演算中的解释类同。 例1： S(x)：x 学习很好； W(x)：x 工作很好； 则 ┐ S(x)：x学习不是很好； S(x) ∧ W(x) ：x的学习和工作都很好； S(x) → W(x) ：若x的学习很好，则x工作得很好；;三、量词; 定义2.1.4 ① 符号 ? 称为全称量词符，用来表达“对所有的”、“每一个”、“对任何一个”、“一切”等词语； ?x 称为全称量词，称 x为指导变元。 ② 符号 ? 称为存在量词符，用来表达“存在一些”、 “至少有一个”、 “对于一些”、“某个”等词语； ?x 称为存在量词，称 x为指导变元。 ③符号 ?! 称为存在惟一量词符，用来表达“恰有一个”、“存在惟一” 等词语； ?!x 称为存在惟一量词，称x为指导变元 。;解： 令M (x): x是人；H (x): x要呼吸。 (?x)(M (x) → H (x));例2：试用量词、谓词表示命题： ① 存在一个数是质数；;例3：试用量词、谓词表示命题： ① 所有大学生都热爱祖国；;规律;一、谓词公式;例1：令f (x,y)表示 x+y, 谓词N(x)表示x是自然数。 则 f (2,3)表示个体自然数5， N( f (2,3) )表示5是自然数。 例2：P(x): x是教授； f(x):x的父亲； c:张强 那么P(f(c))表示“张强的父亲是教授”这一命题。;定义2.2.2 若P(x1，x2，…，xn)是n元谓词，t1，t2，…，tn是 项，则称 P (t1，t2，…，tn)为原子谓词公式，简称原子公式。 ;合式谓词公式是按上述规则由原子公式、联结词、量词、圆括号和逗号组成的符号串，而且命题公式是它的一个特例。 例如：(?x)P(x)，(?x)(P(x)∨R(x))，(?x)(?y)(P(x,y)→R(y)) 都是合式谓词公式； 而 (?x)(P(x)→R(x)，(?x)(?y)(∧P(x,y)) 都不是合式谓词公式。 称合式谓词公式为谓词公式；可将合式谓词公式最外层括号省略，但量词后括号不可省略。;二、谓词逻辑的翻译 ;例1：把下列命题符号化：;例2. 将命题“没有最大的自然数”符号化 ;例4. 用谓词表示命题“张强把一本新买到的离散数学书 送给了李林。” ;例5. 人都要犯错误。 解：该命题可说成“对所有的x, 如果x是人, 则x要犯错误”。 设 H(x): x是人。 Q(x): x犯错误。 则命题可表示为 (?x ) (H(x)→Q(x))。 此命题等价于“没有不犯错误的人” 则命题还可表示为 ┐(?x) (H(x) ∧ ┐Q(x));例8. 如果b2－4ac≥ 0, 则实系数一元二次方程 ax2＋bx＋c＝0 有实数解。 解：设 R (x): x是实数, 并将数学中的运算符“＝”、 “≠”、“＞”、 “≥”等作谓词使用, 则命题可表