离散数学基本公式知识分享.docVIP

离散数学基本公式 精品文档 精品文档 收集于网络，如有侵权请联系管理员删除 收集于网络，如有侵权请联系管理员删除 精品文档 收集于网络，如有侵权请联系管理员删除 一、基本等值式 ⑴ 双重否定律 ??A?A ⑵ 幂等律 A∧A?A A∨A?A ⑶ 交换律 A∧B?B∧A A∨B?B∨A ⑷ 结合律 A∨(B∨C)?(A∨B)∨C A∧(B∧C)?(A∧B)∧C ⑸分配律 A∨(B∧C)?(A∨B)∧(A∨C) A∧(B∨C)?(A∧B)∨(A∧C) (6)德摩根律 ?(A∨B)??A∧?B ?(A∧B)??A∨?B (7) 吸收律 A∨(A∧B)?A A∧(A∨B)?A (8) 零律 A∨1?1 A∧0? (9) 同一律 A∧1?A A∨0 (10)排中律 A∨?A?1 (11)矛盾律 A∧?A?0 (12)蕴含等值式 A?B??A∨B (13)等价等值式 A?B ?(A?B)∧(B?A) A?B ?(?A∨B)∧(A∨?B) A?B ?(A∧B)∨(?A∧?B ) (14)假言易位 A?B??B??A (15)等价否定等值式 A?B ??A ? ?B (16)归谬论 (A ?B) ∧(A? ?B) ? ?A 二、推理定律——重言蕴涵式 1.A ? (A?B) 附加律 2.(A?B) ? A 化简律 3.(A?B)?A ? B 假言推理 4.(A?B) ??B ? ?A 拒取式 5.(A?B) ??B ? A 析取三段论 6.(A?B)?(B?C) ? (A?C) 假言三段论 7.(A?B)?(B?C) ? (A?C) 等价三段论 8.(A?B)?(C?D)?(A?C) ? (B?D) 构造性二难 (A?B)?(?A?B) ? B 构造性二难(特殊形式) 9.(A?B)?(C?D)?( ?B??D) ? (?A??C) 破坏性二难 三、量词辖域收缩与扩张 ?x(A(x)∨B) ? ?xA(x)∨B ?x(A(x)∧B) ? ?xA(x)∧B ?x(A(x)→B) ? ?xA(x)→B ?x(B→A(x)) ? B→?xA(x) ?x(A(x)∨B) ? ?xA(x)∨B ?x(A(x)∧B) ? ?xA(x)∧B ?x(A(x)→B) ? ?xA(x)→B ?x(B→A(x)) ? B→?xA(x) 四、量词分配 ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) ?x(A(x)∨B(x)) ? ?xA(x)∨?xB(x) ?x(A(x)∨B(x)) ? ?xA(x)∨?xB(x) ?x(A(x)∨B(x)) ? ?xA(x)∨?xB(x) 个体域为全体自然数; A(x): x是偶数, B(x): x是奇数; 左?1, 右?0 ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) 个体域为全体自然数; A(x): x是偶数 B(x): x是奇数; 左?0, 右?1