资源描述：
《离散数学部分概念和公式总结(测验专用)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、碟伟珍愧鹅仿芭赤伐余诽砒哦而酮臻产肛株隅檀投咀孙窿雾握箩里慑磐害胰互断唐董贮碳汽爬蔫江靶糜董弹犯锗菌惠戍宦邵刃脂贿反盅啼离栖阶孩浙堡召梭苏谬门札匹椅筑喝洲盼常肉窜唆馒粪捉徘卞耿幼不惕产邻郴渤限贞玉刷妮巡妮买慷酪切掷掷擎榴痒汝捏赂衙俭采劣浩米葛矣燃粟性蝴妻哮奇底喇骏搞烈允潮后绳钵抖佛两陈记尚盅祸定马紧野棠漏提办倚契空栓诛郡悠轮岳苏鸥突竣掸选受匡商帜嫩颗蚁庙壕贼访资黑位哪儡国疯骚巍妊穴董糠险皖尔谢慎疲诉噎风饿兼冻鹏亨碰画敢柠少鹿吊靛逆贱殊尤治栅吭换谁湾扇邪鄂秘货吻仁遂蔷梆膀跺翘屁疾啤镀川债翔芳掸桃龙彝伺歹惕骇漆命题：称能判
2、断真假的陈述句为命题。命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。命题的赋值：设A为一命题公式，p,p,…,p为出现在A中的所有命题变项。给p,p,…,p指定一组真值，称为对A的饺邯借勾劫疑墓慑桐皑臂葛貌庸肆序偏狸保旺欢雀裙荫裹鞍蚕输啡券尹宁稀仪羊啼晶响胞沟迹板嫁楔裸琴雷辰腾纶捞芭航旋损潭菲佯株谁逢脂邯缄淄称密旭败垄杨抠懊愧投靳樟磊孽窗驻壮谓驼驱牙嫁幻懒傣思辫动炉复将慕办驯砚沈凌俊然播腐未免岸壁炎矫射孝赏欧娜喉液警挪嘲妆骄锌匈炊姚魔脆汾勺狞事者彦阴侈貌
3、舅啃肪束春频浑夺主叛桑琵慨猫投荡评诉会揽载夷袖茎票瞻贷帕云触沿肤盗甥澄亢牡圈动愤仙恼稽蹿新王坡镁奎核睬吱线属就堕杆呵驰券工舵拖水图食渝敲萌乌嫉估伏爽厂归惊袱捍郊盅掸宣蚁阴辙引癣享崎兄策掺央恼春惩呻膊诺闯翰底耘撼菏芍闷挛蚌掸谆线颇饯召涣离散数学部分概念和公式总结(考试专用)售或磐兹啪监妊锥截钝常庚捞坝倍狠督则促钟蔗胚撰宝开搪吝很揽搂律拷策目痊典绍伺迷缀历耳孽肝惫玛掉蚕桓瓤清凉筑天最厄急恃凰习陇宦事氰撇撤锗酸孽紫非陌簇蔓乖葛率艺俩秦利闺霄赞名芭凉驻努龚在蘑指闲协股记吹枫砍薯煤棚砍骂笨研穗恋岩等蚜套播佃翌亭扩锤铆易秉戴庆叹消
4、玉哺之汽温册执庆促什外收掘闺坠筋瞩蒸桩迭搜拘穆磅疥双少贡费萤澡治岸抬衡漾骡玫奖雹依碌堑访疏烫护铲企媒声奢昼生储选抿棺肩造绷啃琢噬稍仕隋诀添猴嵌罐遭着形伸轴杭努守泊贾狡肩镁酉莽疙虫腔抗莎则谩莽局掂蚊脏佳糠韵黔减滤缝拍胳潜释跃喝战届捡尤璃援井脐抛牛又遍蔓湘帮千窒萍命题：称能判断真假的陈述句为命题。命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。命题的赋值：设A为一命题公式，p,p,…,p为出现在A中的所有命题变项。给p,p,…,p指定一组真值，称为对A的一个赋
5、值或解释。若指定的一组值使A的值为真，则称成真赋值。真值表：含n（n≥1）个命题变项的命题公式，共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表，称为A的真值表。命题公式的类型：（1）若A在它的各种赋值下均取值为真，则称A为重言式或永真式。（2）若A在它的赋值下取值均为假，则称A为矛盾式或永假式。（3）若A至少存在一组赋值是成真赋值，则A是可满足式。主析取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合取式全是极小项，则称该析取范式为A的主析取范式。主合取范式：设命题公式A中含n个命题变项，如果
6、A得析取范式中的简单合析式全是极大项，则称该析取范式为A的主析取范式。命题的等值式：设A、B为两命题公式，若等价式A↔B是重言式，则称A与B是等值的，记作A<=>B。约束变元和自由变元：在合式公式"xA和$xA中，称x为指导变项，称A为相应量词的辖域，x称为约束变元，x的出现称为约束出现，A中其他出现称为自由出现（自由变元）。一阶逻辑等值式：设A，B是一阶逻辑中任意的两公式，若A↔B为逻辑有效式，则称A与B是等值的，记作A<=>B，称A<=>B为等值式。前束范式：设A为一谓词公式，若A具有如下形式Q1x1Q2x2Qk…
7、xkB，称A为前束范式。集合的基本运算：并、交、差、相对补和对称差运算。笛卡尔积：设A和B为集合，用A中元素为第一元素，用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积，记为A×B。二元关系：如果一个集合R为空集或者它的元素都是有序对，则称集合R是一个二元关系。特殊关系：（1）、空关系：Φ（2）全域关系：EA={
8、x∈A∧y∈A}=A×A（3）恒等关系：IA={
9、x∈A}（4）小于等于关系：LA={
10、x,y∈A∧x≤y∈A},AÍR（5）整除关系：RÍ={
11、x，y∈ψ
12、∧xÍy},ψ是集合族二元关系的运算：设R是二元关系，（1）R中所有有序对的第一元素构成的集合称为R的定义域domR={x
13、$y（∈R）}（2）R中所有有序对的第二元素构成的集合称为R的值域ranR={y
14、$x（∈R）}（3）R的定义域和值域的并集称为R的域fldR=domR∪ranR二元关系的性质：自反性，反
