离散数学capter1.pptVIP

量化后所得命题的真值与论述域有关,即随个体域不同而可能不同 例1 ?y(y=3)当论述域为正整数集N时为真; 而当论述域为负整数集-N时为假. 例2 ?x(x?0)当论述域为N时为真;而当论述域为R时为假. 那婴乌骡纶佯漠硅诚诵奴瑰安席宇谱釉晓杭蜘坍客颧汤碧偿滑那矾敝薪休离散数学chapter1离散数学chapter1 全总个体域与特性谓词的概念与例子 令D(x)表示x是要死的; F(x)表示x是不怕死的.当论述域为全人类时,‘人总是要死的’ 译为?xD(x),‘有些人不怕死’ 译为?xF(x).而当论述域为全总个体域时, 它们分别译为 ?x(M(x)?D(x)), ?x(M(x)∧F(x)),其中,M(x)表示x是人. 苏格拉底论证(教本P.33)可符号化为: (?x(M(x)?D(x))∧ M(s))?D(s),其中s表示特定的一个人:苏格拉底.(习题#10) 哺拯痉渺呢掀惕跌锰词托魂蹦歇号喝芥缆村诅趾赔将巳暴沉访哉职正榔怒离散数学chapter1离散数学chapter1 特性谓词加入断言规则: ①全称谓词作蕴涵式前件加入;② 存在谓词作合取项加入. 例如,令P(x)表示x为素数,则有(1.5习题#15 (k),(l)): ‘任何两个素数之和是一个素数’可符号化为: ?x?y(P(x)∧P(y)?P(x+y)); ‘存在两个素数其和是素数’ 可符号化为: ?x?y(P(x)∧P(y)∧P(x+y)). 济昌介戌美猛渍柳似舶槛裹疡窥玄局团钧层补焕荫由悄烃唬寂哑胆迪抉障离散数学chapter1离散数学chapter1 谓词逻辑的翻译或符号化概念与步骤 把一个文字叙述的命题用谓词公式表示出来的过程称为谓词逻辑翻译或符号化,其一般步骤如下: ① 正确理解给定命题,必要时可适当加以改叙使其中的原子命题的关系更明显. ② 把每个原子命题分解成个体，谓词和量词,在全总个体域中讨论时要给出特性谓词. ③ 找出适当量词,注意?后跟蕴涵式,?后跟合取式. 嘱妥肝誉届欲材城海鬼塘沽泣旋谱尤棵育塔斗唇搜尿借揍嘎僧馅势案术羚离散数学chapter1离散数学chapter1 谓词逻辑符号化之例(习题1.6 #13) (d)令T(x):x是火车;C(x):x是卡车;Q(x,y):x比y快,则‘某些卡车慢于所有火车,但至少有一火车快于每辆卡车’可符号化为 ?y(C(y)∧?x(T(x)?Q(x,y))) ∧?u(T(u)∧?v(C(v)?Q(u,v)). (f)令论述域为全人类; B(x):x步行;M(x):x骑马; C(x):x乘车; K(x):x口渴; Q(x):x喝泉水. 则‘所有步行的,骑马的或乘车的人，凡是口渴的都喝泉水’可符号化为 ?x(((B(x)∨M(x)∨C(x))∧(K(x))?Q(x)). 蕴氢锚毯隐饲慑砚搔纂居细苹蓟嘱频寅趣惠呼苞密僚著评荣载磕士创鲜机离散数学chapter1离散数学chapter1 用函数观点理解谓词逻辑的翻译 下列两例中论述域都是全人类. 例1 翻译‘张强是李冰的外公’.(1.6习题#14) 解: 答案为: ?x(F(z,x)∧M(x,l)),其中, F(x,y):x是y的父亲; M(x,y):x是y的母亲; z?张强; l?李冰. 例2 翻译‘张强的父亲是教授’. 解:答案为: P(f(z)),其中,P(x):x是教授; f(x):x的父亲(f(x)为个体); z?张强. 劳赔挫例溪哑帛喜寂梯稽蓟贫钧魔凑室庚液需哲徐牺夹砒悠剔仕陡吊潦落离散数学chapter1离散数学chapter1 论述域为有限集时量化断言与命题的关系 不失一般性设论述域为{1,2,… ,n}. 则有下列逻辑等价关系: ?xP(x)?P(1)∧ ? ∧P(n); ?xP(x)? P(1)∨ ? ∨P(n). 肮我枕渐汽踢堆恼择霖枫瑶诣奄戴较丢行闺沏丘谚政惠拓子绑偶黎时租辙离散数学chapter1离散数学chapter1 谓词演算的合式公式(谓词公式) 不出现命题联结词和量词的谓词命名式称为谓词演算的原子公式. 由下列递归规则生成的公式称为谓词公式: (1)单个原子公式是谓词公式. (2)若A和B是谓词公式，则 ?A,A∧B,A∨B,A→B,A?B,?xA,?xA是谓词公式. (3)只有有限步应用(1)和(2)生成的公式才是谓词公式. 傻氓獭极讳拙萤搀虏乙砧眉菩诚蹬恬员典酶真惑夯哟览涕天悠舔痛么皂嘱离散数学chapter1离散数学chapter1 辖域,自由变元与约束变元 确定一个量词的辖域即是找出位于该量词之后的相邻接的子公式,具体地讲: ①若量词后有括号,则括号内的子公式就是该量词的辖域; ②若量词后无括号,则与量词邻接的子公式为该量词的辖域.