离散数学 数理逻辑__命题逻辑_(4)
必须掌握的数学知识点总结
必须掌握的数学知识点总结一、基础知识1. 算术算术是数学的基础，包括加法、减法、乘法、除法等基本运算。
在实际生活中，我们经常需要进行数字的计算，因此掌握基本的算术知识对于每个人来说都是至关重要的。
2. 代数代数是数学中的一个重要分支，主要研究未知数和它们之间的关系。
代数知识包括多项式、方程、不等式、函数等内容，是后续学习更高级数学知识的基础。
3. 几何几何是研究空间和图形的形状、大小、位置关系的一门学科。
几何知识包括直线、角、三角形、四边形、圆等内容，对于理解空间和图形的属性有着重要的作用。
4. 概率与统计概率与统计是数学中的一个重要分支，研究的是随机现象的规律性和数量关系。
概率用来描述随机事件发生的可能性，而统计则是对数据进行收集、整理、分析和解释的过程。
二、高级知识1. 微积分微积分是数学的一个重要分支，主要研究函数的变化规律和其在空间中的应用。
微积分知识包括导数、积分、微分方程等内容，是自然科学和工程技术中不可或缺的工具。
2. 线性代数线性代数是数学中的一个重要领域，主要研究向量空间和线性变换。
线性代数知识包括矩阵、行列式、特征值与特征向量等内容，在物理、工程、信息科学等领域有着广泛的应用。
3. 数理逻辑数理逻辑是数学的一个重要分支，研究的是数学推理和证明的方法。
数理逻辑知识包括命题逻辑、谓词逻辑、集合论等内容，是数学基础和理论研究中不可或缺的一部分。
4. 离散数学离散数学是数学中的一个重要分支，主要研究离散结构和离散对象之间的关系。
离散数学知识包括集合、图论、代数结构等内容，在计算机科学和信息技术中有着重要的应用价值。
通过对这些数学知识点的总结，我们可以清晰地看到数学的广泛应用和重要性。
无论在学术研究还是实际应用中，数学都扮演着不可替代的角色。
因此，掌握这些数学知识点对于每个人来说都是非常重要的。
希望通过这篇总结，读者们可以对数学有一个更全面的理解，从而更好地应用和发展数学知识。
离散数学-命题逻辑-4-左孝凌
主合取范式
⑵ 真值表法：用真值表求主合取范式。 用真值表求主合取范式的步骤如下： ①构造命题公式的真值表。 ②找出公式的成假赋值对应的极大项。 ③这些极大项的析取就是此公式的主合取范式。
主合取范式
例 用真值表法求(p→q)→r的主合取范式。 解：(p→q)→r的真值表是表1-7.7。公式的成假赋值对应 表1-7.7 的大项为： p∨q∨r (成假赋值为000) p∨q∨r (成假赋值为010) p∨q∨r (成假赋值为110) 主合取范式为：
主析取范式
一个命题公式的主析取范式可以由以下两种方法求得： ⑴ 等价演算法：即用基本等价公式推出。 用等价演算法求主析取范式的步骤如下： ① 化归为析取范式。 ② 除去析取范式中所有永假的基本积。 ③ 在基本积中，将重复出现的合取项和相同变元合并。 ④ 在基本积中补入没有出现的命题变元，即添加 ∧(p∨p)，再用分配律展开，最后合并相同的极小 项。
极小项的性质
极小项 p∧q p∧q p∧q p∧q 极小项 p∧q∧r p∧q∧r p∧q∧r p∧q∧r p∧q∧r p∧q∧r p∧q∧r p∧q∧r 表1-7.2 成真赋值 00 01 10 11 表1-7.3 成真赋值 000 001 010 011 100 101 110 111 名称 m0 m1 m2 m3 m4 m5 m6 m7 名称 m0 m1 m2 m3
p
0 0 1 1
q
0 1 0 1
p∧q
0 0 0 1
表1-7.1 p∧q 0 0 1 0
p∧q 0 1 0 0
p∧q 1 0 0 0
极小项的性质
极小项有下列的性质： ⑴ 每个极小项只有一个成真赋值，且各极小项的成真赋值互 不相同。极小项和它的成真赋值构成了一一对应的关系。 可用成真赋值为极小项进行编码，并把编码作为m的下标来 表示该极小项，叫做该极小项的名称。 两个命题变元的极小项、成真赋值和名称如表1-7.2所示。 三个命题变元的极小项，成真赋值和名称如表1-7.3所示。 从表1-7.2和表1-7.3中可以看出，极小项与其成真赋值的 对应关系为：变元对应1，而变元的否定对应0。
离散数学 第三-四章
Ai
(f) A (A∪B ), B (A∪B )
集合与关系 >集合的运算
交与 并的关系 定理3-2.1 设A、B、C为三个集合,则下列分配律 成立。 a) A∩(B∪C)=(A∩B)∪(A∩C) b) A∪(B∩C)=(A∪B)∩(A∪C) 定理3-2.2 设A、B为任意两个集合,则下列吸收律 成立 a) A∪(A∩B)=A b) A∩(A∪B)=A 定理3-2.3 A B 当且仅当 A∪B=B 或 A∩B=A。
集合与关系 > 集合的运算
本节重点掌握的概念: 集合, 集合相等,集合包含, 幂集。
本节重点掌握的方法: 集合的表示, 求幂集.
作业
3-1 （1）（a）,（c） ,（e）
（3） （4） （a）,（c） ,（e） (5) (6) （a）,（c） ,（e） (9)
集合与关系 >集合的概念和表示法
上节知识点: 1. 集合的概念 2. 集合的表示 3 集合之间的关系 4 空集和全集 5 幂集(power set)
A-B
E B
A
集合与关系 >集合的运算
• 绝对补 定义3-2.4 设E为全集,任一集合A关于E的补 E-A, 称为集合A的绝对补,记作~A。
即 ~ A={ x| xE ∧ xA}
集合与关系 >集合的运算
(3) 集合的补(complement) 定义3-2.3 设A、B为任意两个集合,所有属于A而 不属于B的一切元素组成的集合S称为B对于A的 补集,或相对补,记作A-B。 即 A-B={ x| xA ∧ xB} 或 xA-B xA但 xB
例如 A={2, 5, 6} B={1, 2, 4, 7, 9} A-B={5, 6} B-A={1,4,7,9} E - A?
离散数学基本公式
离散数学基本公式离散数学是数学的一个重要分支，它主要研究的是非连续的、分离的对象，如集合、图论、数论、逻辑等。
在这些领域中，一些基本的公式和定理是理解和应用离散数学的关键。
以下是一些离散数学的基本公式：1、德摩根定律德摩根定律是布尔代数中的基本公式之一，它表示对于任何逻辑运算，如果我们把所有的否命题和原命题结合在一起，我们就会得到一个恒等式。
用符号表示为：P ∧ Q) ∨(¬P ∧¬Q) ≡ P ∨ QP ∨ Q) ∧(¬P ∨¬Q) ≡ P ∧ Q2.集合论中的互补律在集合论中，互补律表示对于任何集合A和它的补集A'，我们有：A ∪ A' = U,其中U是全集A ∩ A' = ∅,其中∅表示空集3.图论中的欧拉公式欧拉公式是图论中的一个基本公式，它表示对于一个连通无向图G，其顶点数v、边数e和欧拉数euler(G)之间有以下关系：euler(G) = v + e - 2其中euler(G)是图G的欧拉数，v是图G的顶点数，e是图G的边数。
这个公式在计算图的欧拉数或者判断一个图是否连通等方面都有重要应用。
4.数论中的费马小定理费马小定理是数论中的一个重要定理，它表示对于任何正整数n，如果它是质数p的幂次方，那么我们可以找到一个整数x，使得x的n 次方等于1（模p）。
用数学语言表示为：x^n ≡ x (mod p)其中n是正整数，p是质数，x是整数。
这个定理在密码学、计算机科学等领域都有广泛的应用。
5.逻辑中的排中律和反证法排中律是指对于任何命题P，P或非P必定有一个是真命题。
反证法则是通过假设相反的命题成立来证明原命题的一种方法。
在证明过程中，如果假设的相反命题成立会导致矛盾，那么原命题就一定是正确的。
这些公式和定理只是离散数学中的一小部分，但它们是理解和应用离散数学的基础。
在学习的过程中，我们还需要掌握更多的公式和定理，以及它们的应用方法。
离散数学第二版最全课后习题答案详解
离散数学第二版最全课后习题答案详解离散数学是现代数学的一个重要分支，它在计算机科学、信息科学、电气工程等领域都有着广泛的应用。
对于学习离散数学的同学们来说，课后习题的解答是巩固知识、加深理解的重要环节。
本文将为您提供离散数学第二版的最全课后习题答案详解，希望能对您的学习有所帮助。
在开始讲解具体的习题答案之前，让我们先简要回顾一下离散数学的主要内容。
离散数学包括集合论、数理逻辑、图论、代数结构等几个部分。
集合论是离散数学的基础，它研究集合的性质、运算和关系。
在集合论的习题中，常见的问题包括集合的表示、集合的运算（并集、交集、补集等）、集合的包含关系以及集合的基数等。
例如，有这样一道习题：设集合 A ＝｛1, 2, 3}，B ＝｛2, 3, 4}，求 A ∪ B 和A ∩ B。
答案是：A ∪ B ＝｛1, 2, 3, 4}，A ∩ B ＝｛2, 3}。
这是因为并集是包含两个集合中所有元素的集合，而交集是同时属于两个集合的元素组成的集合。
数理逻辑是研究推理和证明的工具，它包括命题逻辑和谓词逻辑。
在数理逻辑的习题中，需要掌握命题的符号化、逻辑公式的等价变换、推理规则的应用等。
比如，给出这样一个命题：“如果今天下雨，那么我就不去公园”，将其符号化。
我们可以设“今天下雨”为 P，“我去公园”为 Q，那么这个命题可以符号化为P → ¬Q。
图论是研究图的性质和应用的分支。
图的概念在计算机网络、交通运输等领域有着重要的应用。
图论的习题常常涉及图的表示、顶点的度、路径、连通性、图的着色等问题。
假设有这样一道题：一个无向图有 10 个顶点，每个顶点的度都为 6，求这个图的边数。
根据顶点度数之和等于边数的两倍这个定理，我们可以计算出边数为 30。
代数结构则包括群、环、域等概念，在这部分的习题中，需要理解和运用代数结构的定义和性质来解决问题。
接下来，我们具体来看一些习题的详细解答。
例 1：设集合 A ＝｛x ｜ x 是小于 10 的正奇数}，B ＝｛x ｜ x 是小于 10 的正偶数}，求 A B。
《离散数学》命题逻辑
例如：
和 e 都是无理数。 6和8至少有一个是合数。 说刘老师讲课不好是不正确的。 不下雨我就去买书。
7
命题与命题联结词
将命题连接起来的方式叫做命题联结词
（ proposition connective ） 或 命 题 运 算 符
3
命题与命题联结词
逻辑
如何表示？ 如何“操作”？
非真即假的陈述句称为命题（proposition）。 一个命题如果是对的或正确的，则称为真命
题，其真值为“真”（true），常用T或1表示； 一个命题如果是错的或不正确的，则称为假
命题，其真值为“假”（false），常用F或0表示。
4
命题与命题联结词
32
命题公式及其分类
为简化公式的形式，作如下规定：
(1) 优先级 , (∧, ∨), (, ) (2) 公式 (~p) 的括号可以省略，写成 ~p (3) 整个公式最外层的括号可以省略
例1
(((p)∧q)(q∨p)) p∧q q∨p
例2
p∧q∨r 不是 命题公式 应写作 (p∧q)∨r 或 p∧(q∨r)
例 判断下列句子哪些是命题，哪些不是
这门课程题为“离散数学”。 这门“离散数学”讲得好吗？ X 这门“离散数学”讲得真好！ X 请学习“离散数学” 。 X 5是素数。 太阳从西方升起。 如果明天晴，而且我有空，我就去踢球。 天王星上没有生命。 x + 3 > 5。 X 5 本命题是假的。X
俞伯牙和钟子期是好朋友。 俞伯牙是好朋友 ∧ 钟子期是好朋友 俞伯牙 ∧ 钟子期是好朋友 Friend (俞伯牙,钟子期)
23
大学_《离散数学》课后习题答案
《离散数学》课后习题答案《离散数学》简介1、集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数2、图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用3、代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数4、组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理5、数理逻辑部分：命题逻辑、一阶谓词演算、消解原理离散数学被分成三门课程进行教学，即集合论与图论、代数结构与组合数学、数理逻辑。
教学方式以课堂讲授为主，课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。
《离散数学》学科内容随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。
离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。
由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系，因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。
离散数学是传统的逻辑学，集合论(包括函数)，数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数(包括代数系统，群、环、域等)，布尔代数，计算模型(语言与自动机)等汇集起来的一门综合学科。
离散数学的应用遍及现代科学技术的诸多领域。
离散数学也可以说是计算机科学的基础核心学科，在离散数学中的有一个著名的典型例子-四色定理又称四色猜想，这是世界近代三大数学难题之一，它是在1852年，由英国的一名绘图员弗南西斯格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。
离散数学-第二章命题逻辑
设A( P1，P2，…,Pn )是一个命题公式，
P1，P2，…,Pn是出现于其中的全部命题变元，对P1， P2，…,Pn分别指定一个真值,称为对P1，P2，…,Pn公式A 的一组真值指派。
列出命题公式A在P1，P2，…,Pn的所有2n种真值指 派下对应的真值，这样的表称为A的真值表。
16
例3
值表。
例12 用符号形式表示下列命题。
（1） （2） 如果明天早上下雨或下雪，那么我不去学校 如果明天早上不下雨且不下雪，那么我去学校。
（3）
（4）
如果明天早上不是雨夹雪，那么我去学校。
只有当明天早上不下雨且不下雪时，我才去学校。 解 令P：明天早上下雨； Q：明天早上下雪； R：我去学校。 （1）（P∨Q）→ ¬ R； （2）（¬ ∧¬ P Q）→R； （3）¬ (P∧Q）→R （4）R→（¬ ∧¬ Q） P
4
例4
2．合取“∧” 定义2.2.2
设P和Q是两个命题，则P和Q的合取 是一个复合命题，记作“P ∧ Q”（读作“P且Q”）。
当且仅当命题P和Q均取值为真时，P ∧ Q才取值为真。
P 0 0 1 1 Q 0 1 0 1 P∧Q 0 0 0 1
例5
设P：我们去看电影。Q：房间里有十张桌子。则
P ∧ Q表示“我们去看电影并且房间里有十张桌子。”
5
3. 析取“∨” 定义2.2.3
设P和Q是两个命题，则P和Q的析取是一个复 合命题，记作“P∨Q”（读作“P或Q”）。
当且仅当P和Q至少有一个取值为真时，P∨Q取值为真。
P
0 0 1 1 Q 0 1 0 1 P∨Q 0 1 1 1
例6 设命题P：他可能是100米赛跑冠军；
Q：他可能是400米赛跑冠军。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
所以 (P→Q)∧(Q→R) ⇒ P→R 。 → ∧ → →
EX4：一份统计表格的错误或是由于材料不可靠，或是由于计算有错误,这份 ：一份统计表格的错误或是由于材料不可靠，或是由于计算有错误 这份 统计表格的错误不是由于材料不可靠，所以这份统计表格是由于计算有错误。 统计表格的错误不是由于材料不可靠，所以这份统计表格是由于计算有错误。
第15页
2、附加前提证明法（CP规则） 、附加前提证明法（ 规则 规则） 欲证明: 欲证明 ( A1 ∧ A2 ∧, …, ∧ Ak )→ (A→B) → →
(1)
而 (A1∧A2∧…∧Ak)→(A→B) ∧ → → ⇔ ¬( A1∧A2∧…∧Ak)∨(¬A∨B) ∧ ∨¬ ∨ ⇔ ¬( A1∧A2∧…∧Ak∧A)∨B ∧ ∨ ⇔ (A1∧A2∧…∧Ak∧A)→B (2) ∧ → 在(2) 式中原结论中的前件 已经变成了前提，如 式中原结论中的前件A已经变成了前提 已经变成了前提， 果能证明(2) 式为永真式， 式也是永真式。 果能证明 式为永真式，则(1)式也是永真式。称 式也是永真式 A为附加前提，称这种将结论中的前件作为前提 为附加前提， 为附加前提 的证明方法为附加前提证明法（ 规则 规则）。 的证明方法为附加前提证明法（CP规则）。
第5页
EX3：利用真值表法论证 ： ① (P→Q)∧¬ P⇒Q （ ？） → ∧ ⇒ ② (P→Q)∧(Q→R) ⇒ P→R （ ？） → ∧ → 真值表如下： 解： ①真值表如下： P 0 0 1 1 Q 0 1 0 1 ¬P 1 1 0 0
推理理论
P→Q → 1 1 0 1
因使P→ ， 同时为T的只有第一 因使 →Q，¬ P同时为 的只有第一、二行， 同时为 的只有第一、二行， 相应的Q：第二行为 ，但第一行为F 相应的 ：第二行为T，但第一行为 ， 所以Q不是 → ， 的有效结论。 所以 不是P→Q，¬ P的有效结论。 不是 的有效结论
即将¬ 作为假设前提补充到原来的前提中去 作为假设前提补充到原来的前提中去， 即将¬ B作为假设前提补充到原来的前提中去，转化成对 A1∧A2∧A3⋅⋅⋅⋅⋅∧An ∧¬B ⇔ F的证明。 ⋅⋅⋅⋅⋅∧ 的证明。 的证明
第12页
推理理论
EX1：用反证法证明：(P→Q)∧(Q→R)∧P ⇒ R ：用反证法证明： → ∧ → ∧ 思路：将¬ R作为假设前提补充到原来的前提中去，转化对 思路： 作为假设前提补充到原来的前提中去， 作为假设前提补充到原来的前提中去 (P→Q)∧(Q→R)∧P∧¬ R ⇔ F的证明。 → ∧ → ∧ ∧ 的证明。 的证明 证明： 证明： 编号 公式 (1) (2) (3) (4) (5) (6) (7) P→Q → P Q Q →R R ¬R F 根据 P P T(1),(2) P T(3),(4) 否定结论引入 T(5),(6)
P 0 0 1 1 Q 0 1 0 1 ¬P 1 1 0 0 P∨Q ∨ 0 1 1 1
从表中看到使P∨ ， 同时为T的只有第二行 从表中看到使 ∨Q，¬ P同时为 的只有第二行，这时 的真值亦为 同时为 的只有第二行，这时Q的真值亦为 T，所以 是前提 ∨Q，¬ P的有效结论。即： ¬ P∧(P∨Q)⇒ Q。 是前提P∨ ， 的有效结论。 ，所以Q是前提 的有效结论 ∧ ∨ ⇒ 。
推理理论
（二）直接证明法
两条推理规则： 两条推理规则： 规则（前提引入规则）： ）：前提在推导过程中的任何时候 ① P 规则（前提引入规则）：前提在推导过程中的任何时候 都可以引入使用。 都可以引入使用。 规则（结论引用规则）：在推导过程中得到的结论， ）：在推导过程中得到的结论 ② T 规则（结论引用规则）：在推导过程中得到的结论，可 以在后继证明过程中的任何地方引用。 以在后继证明过程中的任何地方引用。 EX1：试证：(P→Q)，(Q→R)，P ⇒ R ：试证： → ， → ， 证：编号 公式 (1) (2) (3) (4 ) (5) P→Q → P Q Q →R R 根据 引入前提， 规则 引入前提，P规则 引入前提， 规则 引入前提，P规则 (1) (2)假言推理，T规则 假言推理， 规则 假言推理 引入前提， 规则 引入前提，P规则 (3) (4)假言推理，T规则 假言推理， 规则 假言推理
第4页
推理理论
二、命题演算的证明方法（推理理论） 命题演算的证明方法（推理理论） （一）真值表法： 真值表法： 检查真值表中使所有A 都取T的那些行 的那些行， ① 检查真值表中使所有 1，A2…An都取 的那些行， 在所有这些行都为真值T， 若B在所有这些行都为真值 ， 在所有这些行都为真值 即证得: 即证得 A1，A2…An ⇒ B。 。 检查真值表中B的取值为 的那些行，若在相应行中， 的取值为F的那些行 ② 检查真值表中 的取值为 的那些行，若在相应行中， 至少有一个A 至少有一个 i（i=1，2，…n）取值为 ， ， ， ）取值为F， 即证得: 即证得 A1，A2…An ⇒ B。 。
第13页
EX2：用反证法证明： (P∨Q)∧(P→R)∧(Q→S) ⇒ S∨R ：用反证法证明： ∨ ∧ → ∧ → ∨
证：编号 (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) 公式 ¬ (S∨R) ∨ ¬ S∧¬ R ∧ ¬S Q→S → ¬Q P∨Q ∨ P P→R → R ¬R F 根据
否定结论引入
T(1) T(2) P T(3)，(5) ， P T(6) ，(7) P T(8)， (9) ， T(2) T(9) ，(10)
推理理论
思考：用反证法证明： 思考：用反证法证明：A→B，¬ (B∨C) ⇒ ¬ A 证： 编号 公式 (1) (2) (3) (4) (5) (6) (7) A→B → A B ¬ (B∨C) ∨ ¬ B∧¬ C ∧ ¬B F 根据 P 否定结论引入 T(1),(2) P T(4) T(5) T(3)，(6) ，
第9页
推理理论
EX2：试证：P∨Q，Q→R，P→M， ¬ M ⇒ R∧( 编号 公式 (1) (2) (3) (4) (5) (6) (7) (8) ¬M P→M → ¬P P∨Q ∨ Q Q→R → R R∧(P∨Q) ∧ ∨ 根据 P P T(1)，(2)（拒取式） ， （拒取式） P T(3)，(4)（析取三段论） ， （析取三段论） P T(5)，(6)（假言推理） ， （假言推理） T(4)，(7) ，
第16页
EX1：试证：(P→Q)，(Q→R) ⇒ P → R ：试证： → ， → 证：编号 公式 (1) (2) (3) (4) (5) (6) P→Q → P Q Q →R R P→R → 根据 P P，附加前提 ， T(1) (2) P T(3) (4) CP规则 规则
推理理论
§1.6 推理理论
重言蕴含式) 一、永真蕴含式(重言蕴含式 永真蕴含式 重言蕴含式 定义1 定义1：设A、B是两个命题公式，如果A→B是永真式， 是两个命题公式，如果A 是永真式， 则称A永真蕴含B 记为A 其中称A为前提， 则称A永真蕴含B，记为A⇒B。其中称A为前提，B称为有 效结论，这种从前提推出结论的思维过程叫推理。 效结论，这种从前提推出结论的思维过程叫推理。
解：设各命题变元 P：统计表格的错误是由于材料不可靠。 ：统计表格的错误是由于材料不可靠。 Q：统计表格的错误是由于计算有错误。 ：统计表格的错误是由于计算有错误。 本例可译为： 是前提 是前提P∨ ， 的有效结论， 本例可译为：Q是前提 ∨Q，¬ P的有效结论，即 (P∨Q) ∧ ¬ P ⇒ Q 的有效结论 ∨
第11页
推理理论
（三） 间接证明法 1、反证法（归谬法） 、反证法（归谬法）
原理： 原理： 即 A1∧A2∧A3⋅⋅⋅⋅⋅∧An ⇒B ⋅⋅⋅⋅⋅∧ A1∧A2∧A3⋅⋅⋅⋅⋅∧An →B ⇔ T ⋅⋅⋅⋅⋅∧ ¬（A1∧A2∧A3⋅⋅⋅⋅⋅∧An）∨B ⇔ T （ ⋅⋅⋅⋅⋅∧ 即证 A1∧A2∧A3⋅⋅⋅⋅⋅∧An ∧¬B ⇔ F ⋅⋅⋅⋅⋅∧
证明：(P→Q)∧(Q→ (P→ 证明：(P→Q)∧(Q→R) →(P→R) ⇔((P→Q)∧(Q→R))→(P→R) ((P→Q)∧(Q→R))→(P→ ((P ⇔¬((P→Q)∧(Q→R))∨(P→R) ¬((P→Q)∧(Q→R))∨(P→ ⇔¬((¬P∨Q)∧(¬Q∨R))∨(¬P∨R) ¬((¬ Q)∧(¬ R))∨ ⇔((P∧¬ Q)∨(Q∧¬ R))∨(¬P∨R) ((P∧ Q)∨(Q∧ R))∨ ((P ⇔(P∧¬ Q)∨¬P∨(Q∧¬R)∨R ---结合律 (P∧ Q)∨ (Q∧ R)∨ ---结合律 (P ⇔(P∨¬P)∧(¬Q∨¬P)∨(Q∨R )∧(¬R∨R)---分配律 (P∨ P)∧ ¬ P)∨(Q∨ ∧( ∧(¬ R)-----分配律 (P ⇔(¬Q∨¬P)∨(Q∨R ) ( P)∨(Q∨ ⇔(¬Q∨Q)∨(¬ P∨R ) ( Q)∨ ⇔T T 证毕
更一般的有： 更一般的有： 定义2： 是命题公式， 定义 ：设A1、A2…An和B是命题公式，当且仅当 是命题公式 A1∧A2∧A3…∧An ⇒ B，则称 是一组前提 1，A2…An 是一组前提A ∧ ，则称B是一组前提 的有效结论，或称从 推出B。 的有效结论，或称从A1，A2…An推出 。 有时也记为: 有时也记为 A1，A2 ,…,An ⇒ B。 。
第10页
推理理论
EX3：试证：P∨Q，P→R，Q→S ⇒ S∨R ：试证： ∨ ， ， ∨
证： 编号 公式 (1) (2) (3) (4) (5) (6) (7) (8) P∨Q ∨ ¬P→Q → Q→S P∨S ∨ ¬ S→P → P→R ¬ S→R → S∨R ∨ 根据 P T(1) (I：P→Q ⇔ ¬ P∨Q) ： → ∨ P T(2)，(3) （假言三段论） ， 假言三段论） T(4) ( I：P→Q ⇔ ¬ P∨Q) ： → ∨ P T(5)，(6)，（假言三段论） ， ，（假言三段论） ，（假言三段论 T(7) (I：P→Q ⇔ ¬ P∨Q) ： → ∨