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

计算机科学与工程学院 陈瑜 Email：chenyu.inbox@ * 第一章小结 一、基本概念 命题----具有确切真值的陈述句称为命题,该命题可以取一个“值”，称为真值。 命题的解释----用一个具体的命题代入命题标识符P的过程,称为对P的解释或赋值(指派) 原子命题、复合命题 逻辑联结词（～、∨、∧、?、→、?、与非↑、或非↓、条件否定 c ）： （1）联结词“～”是自然语言中的“非”、“不”和“没有”等的逻辑抽象； （2）联结词“∧”是自然语言中的“并且”、“既…又…”、“但”、“和”等的逻辑抽象； （3）联结词“∨”是自然语言中的“或”、“或者”等逻辑抽象；但“或”有“可兼或∨”、“不可兼或?”、“近似或”三种，前两种是联结词，后一种是非联结词； （4）联结词“→”是自然语言中的“如果…，则…”，“若…，才能…”、“除非…，否则…”等的逻辑抽象。在自然语言中，前件为假，不管结论真假，整个语句的意义，往往无法判断。但在数理逻辑中，当前件P为假时，不管Q的真假如何，则P→Q都为真。此时称为“善意推定”；这里要特别提醒一下“→”的含义，在自然语言中，条件式中前提和结论间必含有某种因果关系，但在数理逻辑中可以允许两者无必然因果关系，也就是说并不要求前件和后件有什么联系； （5）双条件联结词“?”是自然语言中的“充分必要条件”、“当且仅当”等的逻辑抽象； （6）联结词连接的是两个命题真值之间的联结，而不是命题内容之间的连接，因此复合命题的真值只取决于构成他们的各原子命题的真值，而与它们的内容、含义无关，与联结词所连接的两原子命题之间是否有关系无关； （7）联结词“∧”、“∨”、“?”具有对称性，而联结词“～”、“→”没有； （8）联结词“∧”、“∨”、“～”同构成计算机的与门、或门和非门电路是相对应的，从而命题逻辑是计算机硬件电路的表示、分析和设计的重要工具。 命题公式---- （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的一个解释,常记为Ｉ。 永真式(重言式) 永假式(矛盾式，不可满足公式) 可满足的 命题公式的等价----设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* 基本等价式——命题定律 设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? G Ｅ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 (De Morgan定律) Ｅ24：～ (G∧H) ? ～G∨～H。 范式—