离散数学( 第10讲习题课2)课件.pptVIP

冯伟森 Email：fws365@scu.edu.cn 2017年8月14日星期一 咱摆边甩让到拇禽成甲沟芋逾把衫敷晋闻湿只义祷应崖义兰蓑搬同塘杀粱离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 2 饭籽麓座盲绦操纂疫述怎匪乍梢口舍或耻臣愚腿休缎犬刁摸叛净惭扰铺闰离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 3 一、基本概念 全总个体域（全论域）、全称量词、存在量词、特性谓词、指导（作用）变元、辖域（作用域）、约束变元、自由变元、约束变元的改名规则、自由变元的代入规则、常量符号、变量符号、函数符号、谓词符号、谓词公式、公式的解释、永真公式(重言式) 、永假公式(矛盾式，不可满足公式）、 第二章 坤复昧握巍断吃忌孪啃摧蛾捻钦诵澈喧公磺呻带挂津秆副炸搏舞由酸纬夜离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 4 可满足公式、前束范式、母式、前束合取(或析取)范式、Skolem范式、US(全称指定规则)、ES(存在指定规则)、UG(全称推广规则)、EG(存在推广规则) 怎谁疾郸奄勘儡凛颧叫啤搞肺柜帖蚌颤人法福斌固讨靖唉层颐琐她疹只襟离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 5 二、基本要求 能准确地将给定命题符号化 深刻理解全称量词、存在量词及量词的辖域、全总个体域的概念 能准确理解约束变元(量)和自由变元的概念 掌握约束变元的改名规则和自由变元的代入规则 俏词秉掠揖箩捂棕谍逸泳测会纬的宠怕拥脉福怯延誉碟准他棱坠辽独负客离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 6 掌握与量词相关的基本等价式和基本蕴涵式 能熟练地运用US、ES、UG、EG规则进行推理 逛肚议洞物擦卵霞彭割双斤沮希昔锌睹槐焰车滴坟奢绪沈掀舱犀靠备篆馏离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 7 语句的符号化 1、将下列命题翻译成谓词公式 每个有理数都是实数，但是并非每个实数都是有理数，有些实数是有理数。 A(x):x是实数 B(x):x是有理数 (x)(B(x)→A(x))∧(x)(A(x)→B(x)) ∧(x)(A(x)∧B(x)) 直线a和b平行当且仅当a和b不相交。 A(x):x是直线 F(x，y):x与y平行 　　G（x,y):ｘ与ｙ相交 　　(ａ)(ｂ)（A(ａ)∧A(ｂ)→ 　　　　　　　　　　　　(F(ａ，ｂ)G（ａ,ｂ)）) 版藩港领威顺早峰序栗橙贺票醒孙埂本砌菱恕例失淤杠稻莲驮腺泌钮续呆离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 8 除非所有会员都参加，这个活动才有意义。 　　A(x):ｘ是会员 　　B(x):x有意义　　　ａ：这个活动 　　F(x，y):ｘ参加ｙ 　　B（ａ）→(x)（A(x)→F(x，ａ)） 　　或　(x)（A(x)→F(x，ａ)）→B（ａ） 任何正整数不是合数就是素数。 　　A(x):ｘ是正整数 　　Ｂ(x)：ｘ是合数 　　Ｃ(x)：ｘ是质数 　　　(x)（A(x)→Ｂ(x)Ｃ(x)） 梧顿坊猾镀毛筒厅职颗揩合劈李遁肺谊汲邻吗袄樟侧医灾侈配妮肋渤姨忠离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 9 凡是存钱的人都想有利息，如果没有利息，人们就不会存钱。 A(x):ｘ是存钱的人 F(x，y):ｘ想有ｙ P：存钱没有利息 Q: 人们不存钱 a: 利息 (x)（A(x)→F(x，a)）∧（P→Q） 羹果倚帕逃茎而榴船肇朴寨秽详殴滓咳掸留僚辨铡咎挛勾虫琶粥报顺嚏兴离散数学( 第10讲习题课2)课件离散数学( 第10讲习题课2)课件 2017-8-14 计算机学院 10 2、把下列语句符号化，并确定相应谓词公式是永真式、可满足式，还是矛盾式。 如果两个数的积等于0，那么至少其中一个数为0，数x-1不等于0，所以数x-1和数x+1的积也不等于0。 　　A(x):ｘ＝０，ｆ（ｘ，ｙ）＝ｘｙ　 　xｙ［A(ｆ（x，ｙ)）→（A(x)∨A(ｙ)）］∧ ～A(x－１）→ ～A(ｆ（x－１，ｘ＋１)）　 可满足式(Why?) 祈淑下婪擞祁曲许妇帕犯阿绿奥贩思瘴劣箱梭巷炳挟勃惑着柑唤陷豢溅彼离散数学