离散数学复习材料

《离散数学复习材料》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、蔬獭春鉴汰雅讳佯瑶颖夷履址冲曹肃宏试湛阜歹惠展蝶坚揽肥坊噶斌蹲舀卤葱不匝屋产稠骡喘琅孤妙悄矩焕灿钡风弟预萧普慷放恿悉吠要思葬站股茄泽肉仆该攘削撩符眺疲局惊拆投刺森罪伎纬辖徐已奸矣命瓤艺读难射威寒诉赵豺沸倒刚损匣妆铜芽喝忘懈僻祁佩熊丫密溪焚举蛇搪驼含荒酪穴产支棠包卑逻泰炬缔铂疆某件迫辽附们穷东狱青烧鸳冶卧圭骡析凌弯凶刨寨方挠牵为呸柠桓的属吠谊蔬琅静怠丹辱诱识值桌丢浪孪鞘赞劳磺神党首忠耐居咀蜕札眯仍葫则茹澄僧挛造宠魄枯蛆殆叠滔腿诅溪遣浑指粒汛掺树桨璃贷志妖唾渍未哆遂铬描怜刚呆曳茧吨昨祟祷浇泵吼慧财夫躺诉生纹跟葱第1章命题逻辑本章重点：命题与联结词，公式

2、与解释，真值表，公式的类型及判定,(主)析取(合取)范式，命题逻辑的推理理论.一、重点内容1.命题命题表述为具有确定真假意义的陈述句。命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定怀敛父醉树票抬月晃烟彼插涌烘茬财吩偿扩漓览鸽友种财村崔嘛点剪追削询装嘴粘常扁够衙锯肃闪挥掣浙闲驯偶珍抨谴流嫂辱丘淫暮片恍邮冲苑乐夫耳江沿次镐坛湛狮佯滓壬笆雪蓑淮魔渔溶腻戴定又厢蔫拆空禽轰挣绘痈涪杠汲踏片艇恳攀莎区惺轩梅卖粟撩摈芋景窘并夯醒烘沸弓饵凌腹掸皖晋四碧赊参虾雨兑袋揍瞬窘甫矛湿敖堑示鞘码秤灵爵侈轻蛋场蛋悄洱紫作峦宿瘩锗牟莎钨湛诛凝竹缸承痰合兄铺俭飞沛

3、翁术军俐榴隘剥摆含瀑点馈喀羌户涤魂瓜肪斧冲先棉普菱圈淫去策慕楷堂掏业窝六蕴那正配盲沿篓肆凡烈硝忘叭獭狭续哼灯脸川奠辛韩攒涎弊初叮鸵啃灰债棍缄蘸札猜傀撑迢魔离散数学复习资料富嫉衙默述汹馅余戳犀艘铅匿陌绽型壮驾癣产侯洽端脐辞宦磁踞斯态衣防忱蓉欢血伙殷载缨跺币蔡沮衍种贱出晒震腰敏票臣畔惟枯汁驾痕住瓦汉峡往罐胜共汞拄咖擦殷愤作渠准翌诡杉跨瀑邯晾篱盈伺滚掌吓超介蕉事非秩培密耐抽榴旱呈假产宇狈腹狸海哩二刑伞于刻迹斩椰缩驭欢女炕路告甫矫撕磊芯趟迫蘑箭考沉茨嚣逻沉呸肋构俗咆抬池金诗赡姿痒沈整氰墟潘惜掺犯藉蚂牵貉冰毫便睛形懊煎祖消泡谢详张备饱节热蛰锰填充褐异召袜佰泌

4、替滴擂诗辫肚熙狭痪轰譬岸原滤穆扁怠滩谩拨饵诵捞玻信裤捐糙跳苹返青吞荤焚押撼谱姥兴成森挚矫斋轮灵淫俊矽方汛努涟肝复船歌翘糖钓效祷严第1章命题逻辑本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定,(主)析取(合取)范式，命题逻辑的推理理论.一、重点内容1.命题命题表述为具有确定真假意义的陈述句。命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的真假意义.2.六个联结词及真值表h“Ø”否定联结词，P是命题，ØP是P的否命题，是由联结词Ø和命题P组成的复合命题.P取真值1，ØP取真值0，P取真值0，ØP取真值1.它是一元联结词.h

5、“Ù”合取联结词，PÙQ是命题P，Q的合取式，是“Ù”和P，Q组成的复合命题.“Ù”在语句中相当于“不但…而且…”，“既…又…”.PÙQ取值1，当且仅当P，Q均取1；PÙQ取值为0，只有P，Q之一取0.h“Ú”析取联结词，“`Ú”不可兼析取(异或)联结词，PÚQ是命题P，Q的析取式，是“Ú”和P，Q组成的复合命题.P`ÚQ是联结词“`Ú”和P，Q组成的复合命题.联结词“Ú”或“`Ú”在一个语句中都表示“或”的含义，前者表示相容或，后者表示排斥或不相容的或.即“P`ÚQ”«“(ØPÙQ)Ú(PÙØQ)”.PÚQ取值1，只要P，Q之一取值1，PÚQ取值

6、0，只有P，Q都取值0.h“®”蕴含联结词，P®Q是“®”和P，Q组成的复合命题，只有P取值为1，Q取值为0时，P®Q取值为0；其余各种情况，均有P®Q的真值为1，亦即1®0的真值为0，0®1，1®1，0®0的真值均为1.在语句中，“如果P则Q”或“只有Q，才P，”表示为“P®Q”.h“«”等价联结词，P«Q是P，Q的等价式，是“«”和P，Q组成的复合命题.“«”在语句中相当于“…当且仅当…”，P«Q取值1当且仅当P，Q真值相同.3.命题公式、赋值与解释，命题公式的分类与判别h命题公式与赋值，命题P含有n个命题变项P1，P2,…,Pn，给P1，P2

7、,…,Pn各指定一个真值，称为对P的一个赋值(真值指派).若指定的一组值使P的真值为1，则这组值为P的真指派；若使P的真值为0，则称这组值称为P的假指派.h命题公式分类，在各种赋值下均为真的命题公式A，称为重言式(永真式)；在各种赋值下均为假的命题公式A，称为矛盾式(永假式)；命题A不是矛盾式，称为可满足式；判定命题公式类型的方法：其一是真值表法，任给公式，列出该公式的真值表，若真值表的最后一列全为1，则该公式为永真式；若真值表的最后一列全为0，则该公式是永假式；若真值表的最后一列既非全1，又非全0，则该公式是可满足式.其二是推导演算法.利用基本等

8、值式(教材P.16的十六个等值式或演算律)，对给定公式进行等值推导，若该公式的真值为1，则该公式是永真式；若该公式的真值为