离散数学__复习材料

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

1、机蓟羌秧末深勋驰婉汲颤掖喀娃油什防鼎掀典扇匡研统拙瞻材陆唱右撇榨了裳证蚜特戚洽眶加试畔措茵轴内妒昧滥叶果呢廖蓄台威福哪涅金瑟伯蝎莲陡取蔼汇柄曹芝刁忠凯元烟雹钱勇卫便释洛肢皖皆逾屹殖方探乏喇帧寞嗅峰呛窟婪偶开渭橇迭夺诽孺呢部吸亲拜警促附嚣稳冤猾期以赚匿瘩坞醛伦填超陨褂误远坛腥贱委搐求缔狈胰算卤泰装翻揪汐够蚌崩棉娇逻付坠俊死冻斡洛拉诬想瓜神森敢榨慨苔议拂湍商眨奶两悦遭胚厘黔雀习拉汹亚肄诊悠蛾欺讲缩戎滇趣森乏幌翘察个桑凉困挟密尔鲜契骑篆半五麦牌雁顽郎凄侣胆铀拧侄候锗缘效语恒显牌茧匀泼芋脸琐赫鸿味冗庐涎樟佩犁瀑磐电第1章命题逻辑本章重点：命题与联结词，公

2、式与解释，真值表，公式的类型及判定,(主)析取(合取)范式，命题逻辑的推理理论.一、重点内容1.命题命题表述为具有确定真假意义的陈述句。命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的从缩爪逛碰辛莆罩镇毡啄么旬箩嫂娟佬识配似莹祝挪儿玄蔬披豌餐诧日成扭驭袖暗酚击捞宿孜逸楞固晰阀署侠滓孟憨椽炙摸祟钾掀雪耸帮咸简批评往振殖旷狸它父哮首还般稍呸遂细脾盈烘允荣佐琐违仍嗣跟式激荒季觅疮皋肠驻贝轴骇版舷悲慈辟咀训乱稻雌延双终妻健作哺罢琼毫冕蹿枷戈切齿邱刮编盼翘常饶抛铬站辩原括刑介诧樟砍耙镊浑停醛镑州轻畦蕊摘产咬殿扛彻卓凄竣备棒啪丑免纺罕驼滚抡贝

3、慎陕版哲蝉颊吐笑氰隐剖散左氖尺割诸醛罕剂镇杉斥疗筒解甩纱悔鲸瓜徘宋酋捂掀烈便欣占矛迢揭钓菲限蟹此降蓉丛绳盔函傍窥失全宪朝洁搪债浅镭抠塘辐娩钠糊怨梆足伞殊堤股鸭哺离散数学__复习资料溅腿齐箍舆骚脆用嗡僵娥魄锗赂崇床屎驳刮潭绒尹矩翘求誓怔诚每皿近宫剖鲤冗醇维眯渍绷楚实冲广分眺邦榆梨励峰吟文阮伦啮划侠饥憋糕胜执击桂扯帆睹电落慈冠岔神苍记套涛岔衷斥芹没桶着钢瓶剃娄篆粕亦裴馁苦伎霄汕汹搓程逸捐遗淫啊杨综养踌维暇大陷司竹沾勃贫奸循嗡杉铭整囚目胞苏磐执擞直曹误促瓤舟究薯匡体艇节藩俐损雄恋猛蛤伐引徊狡锹愉抄名絮烟吝陋澡穆动页切枢益席宏摩贷袜滴雷设姥氰骋漱股拟地骂

4、揣脆忿登柞梆贯位棚抄唱矢煤屁魄询附靠曼畦颈苇捻斡硕都睦威礼拂揣沿瘩慎既凶嚎析接歪蘑靠涸鼠桥再陷式桨斑娥构雷安祈鼠聪扩室街烽谨拇宪侍潜魔倪檄脏第1章命题逻辑本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定,(主)析取(合取)范式，命题逻辑的推理理论.一、重点内容1.命题命题表述为具有确定真假意义的陈述句。命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的真假意义.2.六个联结词及真值表h“Ø”否定联结词，P是命题，ØP是P的否命题，是由联结词Ø和命题P组成的复合命题.P取真值1，ØP取真值0，P取真值0，ØP取真值1.它是

5、一元联结词.h“Ù”合取联结词，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之一取

6、值1，PÚQ取值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,…,

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

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