离散数学(第1章习题课).pptVIP

陈瑜Email：chenyu.inbox@gmail3/13/2024离散数学计算机学院3/8/20251

第一章小结一、根本概念命题----具有确切真值的陈述句称为命题,该命题可以取一个“值”，称为真值。命题的解释----用一个具体的命题代入命题标识符P的过程,称为对P的解释或赋值(指派)原子命题、复合命题逻辑联结词〔～、∨、∧、?、→、?、与非↑、或非↓、条件否认c〕：〔1〕联结词“～”是自然语言中的“非”、“不”和“没有”等的逻辑抽象；〔2〕联结词“∧”是自然语言中的“并且”、“既…又…”、“但”、“和”等的逻辑抽象；〔3〕联结词“∨”是自然语言中的“或”、“或者”等逻辑抽象；但“或”有“可兼或∨”、“不可兼或?”、“近似或”三种，前两种是联结词，后一种是非联结词；3/8/20252

〔4〕联结词“→”是自然语言中的“如果…，那么…”，“假设…，才能…”、“除非…，否那么…”等的逻辑抽象。在自然语言中，前件为假，不管结论真假，整个语句的意义，往往无法判断。但在数理逻辑中，当前件P为假时，不管Q的真假设何，那么P→Q都为真。此时称为“善意推定”；这里要特别提醒一下“→”的含义，在自然语言中，条件式中前提和结论间必含有某种因果关系，但在数理逻辑中可以允许两者无必然因果关系，也就是说并不要求前件和后件有什么联系；〔5〕双条件联结词“?”是自然语言中的“充分必要条件”、“当且仅当”等的逻辑抽象；3/8/20253

〔6〕联结词连接的是两个命题真值之间的联结，而不是命题内容之间的连接，因此复合命题的真值只取决于构成他们的各原子命题的真值，而与它们的内容、含义无关，与联结词所连接的两原子命题之间是否有关系无关；〔7〕联结词“∧”、“∨”、“?”具有对称性，而联结词“～”、“→”没有；〔8〕联结词“∧”、“∨”、“～”同构成计算机的与门、或门和非门电路是相对应的，从而命题逻辑是计算机硬件电路的表示、分析和设计的重要工具。3/8/20254

命题公式----〔1〕命题变元〔原子命题变元〕本身是一个公式；〔2〕如P，Q是公式，那么(～P)、(P∧Q)、(P∨Q)、(P→Q)、(P?Q)也是公式；〔3〕命题公式仅由有限步使用规那么1-2后产生的结果。该公式常用符号G、H、…等表示。公式的解释----设P1、P2、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、…、Pn的一组真值〔如1，0，1，…，0，1〕，那么这组真值称为G的一个解释,常记为Ｉ。3/8/20255

永真式(重言式)永假式(矛盾式，不可满足公式)可满足的命题公式的等价----设G、H是公式，如果在任意解释Ｉ下，G与H的真值相同，那么称公式G、H是等价的，记作G?H。替换定理----设G1是G的子公式(即G1是公式G的一局部)，H1是任意的命题公式，在G中凡出现G1处都以H1替换后得到新的命题公式H，假设G1?H1，那么G?H。对偶式----在给定的仅使用联结词～、∨、∧的命题公式A中，假设把∧和∨，F和T互换而得的公式A*，那么称A*为A的对偶〔公〕式。对偶原理----设A和B是两个命题公式，假设A?B，那么A*?B*3/8/20256

根本等价式——命题定律设G，H，S是任何的公式，那么：Ｅ1:(G?H)?(G→H)∧(H→G) (等价)Ｅ2：(G→H)?(～G∨H) (蕴涵)Ｅ3：G∨G?G(幂等律)Ｅ4：G∧G?GＥ5：G∨H?H∨G(交换律)Ｅ6：G∧H?H∧GＥ7：G∨(H∨S)?(G∨H)∨S(结合律)Ｅ8:G∧(H∧S)?(G∧H)∧SＥ9：G∨(G∧H)?G(吸收律)Ｅ10：G∧(G∨H)?GＥ11：G∨(H∧S)?(G∨H)∧(G∨S)(分配律)Ｅ12：G∧(H∨S)?(G∧H)∨(G∧S)Ｅ13：G∨F?G (同一律)Ｅ14：G∧T?G3/8/20257

Ｅ15：G∨T?T (零律)Ｅ16：G∧F?FＥ17：G∨～G?T(矛盾律)Ｅ18：G∧～G?F Ｅ19：～(～G)?G (双重否认律)Ｅ20：〔G∧H)→S?G→〔H→S〕〔输出律〕√Ｅ21：〔G?H〕?(～G∧H)∨(G∧～H)(排中律)Ｅ22：P→Q?～Q→～P〔逆反律〕√Ｅ23：～(G∨H)?～G∧～H