第四章 真值表方法与命题演算
教学重点与要点
? 完全真值表法的判定功用
? 归谬赋值法的操作与判定
? 命题演算证明方法的应用与构造
学科知识的分析角度
? 命题推理形式有效性的传统判定方法
? 命题推理形式有效性的现代判定方法
? 真值表法
? 真值树法
? 命题演算自然演绎法
第一节 真值表方法
一、真值表方法
1、方法介绍
2、方法种类
(1)完全真值表法
(2)简化真值表法
3、判定功能
(1)判定任一命题的性质
(2)判定两个命题之间的关系
(3)判定一组前提的一致性
(4)判定一个推理的有效性
4、判定程序的三个要求
判定程序的三个要求
（ 1）程序的每一步都是由事先给定的规则明
确规定好的；
（ 2）对于所判定的对象是否具有某种性质，
该程序能够给出唯一确定的结果；
（ 3）该程序能够在由穷步骤结束。
判定程序的特点：
机械的、能行的、可判定的 。
二、完全真值表法
1、完全真值表的作法
三个步骤：
1,找出已给命题公式的所有变项，并竖行列出这些变项的所有真
值组合；
2,根据命题公式的结构，由繁到简的依次横行列出，一次只引进
一个连接词，直至列出该公式本身；
3,依据基本真值表，有变项的真值逐步计算出每个部分的真值，
最后列出整个公式得真值。
*例析 4101*
2、完全真值表法的判定功能
（ 1） 命题公式的性质判定 (解释、例析 4102）
（ 2） 推理形式有效性的判定
（ 3） 命题公式之间关系的判定 （ 例析 4103）
三、简化真值表法
（一）归谬赋值法
1、判定功能
判定推理的有效性
2、基本思路
为证明一个蕴涵式是重言式，必须证明它不可能前件真而后件
假。其基本的思路在于赋值归谬。
3、操作程序 （ 例析 4104）
（ 1）先假定蕴涵式假；
（ 2）依假设赋前件真而后件假；
（ 3）依联结词的定义为各支命题赋值；
（ 4）检查赋值结果有无矛盾。
4、具体应用
（二）真值树法
1、判定功能
(1)判定一命题公式是否重言式；
(2)判定一组前提的一致性；
(3)判定一个推理的有效性。
2、构造规则 (分解规则）
合取并列、析取分枝、多重转化
3、构造步骤及注意事项
多重转化,合取先行、析取分枝、
4、具体应用
四、真值表法的局限性
1、完全真值表法的局限性
判定多变项命题公式过于繁琐。
2、归谬赋值法的局限性
仅能判定蕴涵式，且当被判定公式的后件为合取式或等值式是
须分情
况讨论多有不便。
3、真值树法的局限性
判定结构复杂的公式时，树冠过大操作不便。
4、问题：
是否有一种方法既能解决命题逻辑有效性的判定问题又能解决有
效性的推导问题？
第二节 命题演算的证明方法
一、命题演算方法概述
1、命题演算方法在问题求解上的必要性认知
2、命题演算与形式系统构造
3、公理系统与自然演绎系统
4、自然演绎法的基本思想
5、具体推证方法的认知
※ 直接证明法
※ 间接证明法
※ 反证法
二、直接证明法
1、直接证明法的特点认知
勿需附加任何前提即可依规则从给定的前提推导出结论。
2、直接证明法的操作步骤
（ 1） 依序编号排列前提，将结论写在最后一个前提的右侧并用, /∴,
断开。
（ 2） 依据已知前提结合相关规则推出新的命题，依次编号写在下面。
（ 3） 在推出的新命题右侧括号内注明前提依据和规则依据。
（ 4） 证明结束写上 证毕 字样。
3、直接证明法与直接推理
4、应用举例分析
5、直接推证法的逻辑启示 【 例析 4201－ 4206】
三、假设证明法
1、间接推证法的特点认知
给定前提不够，需要附加。
2、假设证明法的基本思路
附加假设，依据蕴涵引入的规则有条件的推出相
关结论。
3,假设证明法的模式构造
4、应用举例分析 【 例析 4207－ 4210】
5、假设证明法的逻辑启示
四、反证法
1、反证法的特点认知
前提不够，需要附加。
附加与结论相矛盾的命题作为假设依据规则进行推导寻求矛盾。
找到矛盾后利用否定引入或销去规则反证结论成立。
2,反证法的模式构造
3、应用举例分析 【 例析 4211,4212】
4、反证法的逻辑启示
五、推证技巧分析
（一）推证实例分析
1.A?B
2.C?D
3.A?C ??B?D
解法一：直接证明法
1.A?B
2.C?D
3.A?C ??B?D
4.?A?C (3.??等值 )
5.?A?D (4.2.?连锁 )
6.?B??A (1.?易位 )
7.?B?D (6.4.?连锁 )
8.B?D (7.??等值 )
证毕。
解法二：假设证法
1.A?B
2.C?D
3.A?C ??B?D
4,?B (假设 ) 4,?D (假设 )
5,?A (1.4.?销去 ) 5,?C (2.4.?销去 )
6,C (3.5.?销去 ) 6,A (4.5.?销去 )
7,D (2.6.?销去 ) 7,B (1.6.?销去 )
8.?B?D (4－ 7.?引入 ) 8.?D?B (4－ 7.?引入 )
9.B?D (8.??等值 ) 9.D?B (8.??等值 )
证毕。 10.B?D (9.?交换 )
证毕。
解法三：反证法
1.A?B
2.C?D
3.A?C ??B?D
4,?(B?D) (反设 )
5,?B??D (4.??等值 )
6,?B (5.?销去 )
7,?A (1.6.?销去 )
8,C (3.7.?销去 )
9,D (2.8.?销去 )
10,?D (5.?销去 )
11,D??D (9.10.?引入 )
12.B?D (4－ 11.?销去 )
证毕。
（二）推证技巧应用原则
…………
…………………………
推证技巧应用的基本思路：
………………
第三节
假设证明法与反证法的区别与综合应用
一、假设证明法与反证法的区别
二、假设证明法与反证法的综合应用
1、在证明中的综合应用 【 例析 4301】
2、在推理中的综合应用 【 4302】
三、命题逻辑定理的证明
((p→ q) ∧ p) → q
p q p→q (p→q) ∧ p ((p→q) ∧ p) →q
T T T T T
T F F F T
F T T F T
F F T F T
*返回 *
L4101,画一个完全真值表
命题公式的性质判定
一个真值形式是 重言式, 当且仅当它在其命题变项的任意一组赋
值下都真 。 例如, p∨ ? p是重言式, 不论 p取什么值, 它的值都为
真 。
一个真值形式是 矛盾式, 当且仅当它在其命题变项的任意一组赋
值下都假 。 例如, q∧ ?q是矛盾式, 不论 q取什么值, 它的值都假 。
一个真值形式是 可真式, 当且仅它在其命题变项的至少一组赋值
下为真 。 例如, p∧q 是可真式 。 当 p和 q 都真时, p∧q 为真 。
例如：
实例分析 4102：
p q p∨ ﹁ p q ∧ ﹁ q p∧ q
T T T F T
T F T F T
F T T F T
F F T F F
永真式 永假式 可真式
*返回 *
实例分析 4103：
p q p→q ﹁ p∨ q p∧ ﹁ q
T T T T F
T F F F T
F T T T F
F F T T F
等值
矛盾 *返回 *
实例分析 4104：
请用归谬赋值法判定（（ p→q ） ∧ ﹁ q） → ﹁ P这个推理是否有效？
（（ p→q ） ∧ ﹁ q） → ﹁ P
F
T F
T T T
F
T
T
由上表可知,q 的赋值出现矛盾，此命题形式是重言式，与之相对应的
推理形式是有效式。
运用归谬赋值法要注意：
※ 由于给变项赋值过程中有先后的不同，因而具体
矛盾的出现可能不同。
※ 只有当赋值过程中 矛盾不可避免 的出现时，才能
表明原公式是重言式，相应的推理有效。
※ 赋值过程中，变项的值有时候不能惟一的确定，
此时需要讨论。
*返回 *
1,?A?B
2,B??C
3,C?D
4,?D /?A
5,C （ 3,4,?销去）
6,?B （ 2,5,?销去）
7,A （ 1,6,?销去）
证毕。
直接证明法（实例分析一） 4201
直接证法（实例分析二） 4202
1,(A?B)??C
2,C?D
3,?B??D /??A
4,D （ 2,?销去）
5,C （ 2,?销去）
6,B （ 3,4,?销去）
7,?(A?B) （ 1,5,?销去）
8,?A??B （ 7,??等值）
9,?A （ 6,8,?销去）
证毕。
直接证明法（实例分析三） 4203
1,A?B
2,?C?D
3,(?A?C)?E
4,?(E?F) /?B?D
5,?E??F （ 4,??等值）
6,?E （ 5,?销去）
7,?(?A?C) （ 3,6,?销去）
8,A??C （ 7,??等值）
9,A （ 8,?销去）
10,?C （ 8,?销去）
11.B （ 1,9?销去）
12.D （ 2,10,?销去）
13.B?D （ 11,12,?引入）
证毕。
直接证明法（实例分析四） 4204
回溯思考方法
1,A?(B?C)
2,A?D
3,C?(E?F)
4,?D??F /?E
(1),回溯”思考，首先要考察待证结论与前提的关联性，待证结论处在
?命题的后件，要获
证必须基于对前件 C的肯定。
(2) C与前提 1关联，要获取必须基于主联结关系 ?的销去。
(3) 前提 1的 ?销去，取决于对前提 2中条件 A的否定。
(4) 要获取对 A的否定，必须基于对后件 D的否定，而后件 D的否定处在前
提 4之中，要获取
?D必先分解前提 4。
“回溯”思考法有助于理清思路，其操作方法是 ??????
直接证明法（实例分析五） 4205
推导结论
1,?(B?D)
2,C?D
3,A?B
4,?(E?F)?C
5,A?F
6,A (5,?销去 )
7,B (3.6.?销去 )
8,?B??D (1.7.??等值 )
9,?D (7.8.?销去 )
10,?C (2.9.?销去 )
11,?(E?F) (4.10.?销去 )
12,?E??F (11.??等值 )
13,F (5.?销去 )
14,?E (12.13.?销去 )
直接证明法（实例分析六） 4206
前提一致性判定之 01
1.A?B
2.B?C
3.D??C
4.A?D
5.D
6.?C
7.?B
8.?A
9.A
10.A??A
直接证明法（实例分析六）
前提一致性判定之 02
1.A?B
2.B?C
3.D??C
4.A?D
5.A
6.B
7.D
8.?C
9.?B
直接证明法（实例分析六）
前提一致性判定之 03
1.A?B
2.B?C
3.D??C
4.A?D
5.A
6.B
7.C
8.D
9.?C
直接证明法（实例分析六）
前提一致性判定之 04
1.A?B
2.B?C
3.D??C
4.A?D
5.A
6.B
7.C
8.?D
9.D
10.D??D
直接证明法（实例分析六）
前提一致性判定之 总结
1.A?B
2.B?C
3.D??C
4.A?D
5.A 5.D 5.A 5.A
6.B 6.?C 6.B 6.B
7.C 7.?B 7.D 7.C
8.?D 8.?A 8.?C 8.D
9.D 9.A 9.?B 9.?C
10.D??D 10.A??A 10.B??B 10.C??C
*返回 *
假设证明法的模式构造
1,
给定前提 2,
3,/ ∴ p?q
4,p (假设 ）
,
：
：
10,q
11,p?q (4---10 ?引入）
※ 返回 ※
1,?B??A
2,B?(A?C) ??A?C
3,A (假设 )
4,B (1.3,?销去 )
5,A?C (2.4.?销去 )
6,C (5.?销去 )
7,A?C (3.6.?引入 )
证毕。
假设证明法（实例分析一） 4207
假设证明法（实例分析二） 4208
1,A?B
2,(B?C)?D /?A?D
3,A (假设 )
4,B (1.3.?销去 )
5,B?C (4.?引入 )
6,D (2.5.?销去 )
7,A?D (3－ 6?引入 )
证毕。
1,A?(B?(C?D))
2,?E??F
3,B?F
4,A ???E?C
5,B?(C?D) (1.4.?销去 )
6,?E (假设 )
7,?F (2.6.?销去 )
8,B (3.7.?销去 )
9,C?D (5.8.?销去 )
10,C (9.?销去 )
11,?E?C (6－ 10.?引入 )
证毕。
假设证明法（实例分析三） 4209
1.A?C
2.C?(E?(H?I))
3.F??I ??A?(F??E)
4,A (假设 )
5,C (1.4.?销去 )
6,E?(H?I) (2.5.?销去 )
7,F (假设 )
8,?I (3.7.?销去 )
9,?I??H (8.?引入 )
10,?H??I (9.?交换 )
11,?(H?I) (10.??等值 )
12,?E (6.11.?销去 )
13,F??E (7－ 12.?引入 )
14,A?(F??E) (4－ 13.?引入 )
证毕。
假设证明法（实例分析四） 4210
※ 返回 ※
反证法的模式构造
1.
2.
3,/? p
4,? p (反设 )
,
,
,
9,q ?? q
10,? p (4－ 9,?销去 )
证毕。
.1.
2.
3,/??p
4,P (反设 )
,
,
,
9,q ?? q
10,? p (4－ 9,?引入 )
证毕。
※ 返回 ※
1.A? B
2.C?? B
3,? (A? C) /??A
4,? A? ? C (3.??等值 )
5,A (反设 )
6,B (1.5.?销去 )
7,C (2.6.?销去 )
8,? C (4.5.?销去 )
9,C? ? C (7.8.?引入 )
10,? A (5－ 9,?引入 )
证毕。
反证法（实例分析一） 4211
1.(?D?F)?(A?E)
2.(A?B)?C
3.B?D ??C
4,?C (反设 )
5,?(A?B) (2.4.?销去 )
6,?A??B (5.??等值 )
7,?B (6.?销去 )
8,D (3.7.?销去 )
9,D?F (8.?引入 )
10,?D?F (9.??等值 )
11,A?E (1.10.?销去 )
12,A (11.?销去 )
13,?A (6.?销去 )
14,A??A (12.13.?引入 )
15,C (4－ 14.?销去 )
证毕。
反证法（实例分析二） 4212
※ 返回 ※
在证明中的综合应用 4301
1,A?B?C
2,(A??B)?C ??B?C
3,?C (假设 )
4,?(A??B) (2.3.?销去 )
5,?A?B (4.??等值 )
6,A?B (1.3.?销去 )
7,?B (反设 )
8,?A (5.7.?销去 )
9,A (6.7.?销去 )
10,?A?A (8.9.?引入 )
11,B (7－ 10.?销去 )
12,?C?B (3－ 11.?引入 )
13,C?B (12.??等值 )
14,B?C (13.?交换 )
证毕。 ※ 返回 ※
在推理中的综合应用 4302
1,(A?B)?C
2,(B?D)?(A?C)
3,(B??A)?(C?D)
4,(B??C)??A
5,B (假设 )
6,?C (反设 )
7,B??C (5.6.?引入 )
8,?A (4.7.?销去 )
9,B??A (5.8.?引入 )
10,C?D (3.9?销去 )
11,D (6.10.?销去 )
12,B?D (5.11.?引入 )
13,A?C (2.12.?销去 )
14,A (8.13.?销去 )
15,A??A (8.14.?引入 )
16,C (6－ 15.?销去 )
17,B?C (5－ 16.?引入 ) ※ 返回 ※
教学重点与要点
? 完全真值表法的判定功用
? 归谬赋值法的操作与判定
? 命题演算证明方法的应用与构造
学科知识的分析角度
? 命题推理形式有效性的传统判定方法
? 命题推理形式有效性的现代判定方法
? 真值表法
? 真值树法
? 命题演算自然演绎法
第一节 真值表方法
一、真值表方法
1、方法介绍
2、方法种类
(1)完全真值表法
(2)简化真值表法
3、判定功能
(1)判定任一命题的性质
(2)判定两个命题之间的关系
(3)判定一组前提的一致性
(4)判定一个推理的有效性
4、判定程序的三个要求
判定程序的三个要求
（ 1）程序的每一步都是由事先给定的规则明
确规定好的；
（ 2）对于所判定的对象是否具有某种性质，
该程序能够给出唯一确定的结果；
（ 3）该程序能够在由穷步骤结束。
判定程序的特点：
机械的、能行的、可判定的 。
二、完全真值表法
1、完全真值表的作法
三个步骤：
1,找出已给命题公式的所有变项，并竖行列出这些变项的所有真
值组合；
2,根据命题公式的结构，由繁到简的依次横行列出，一次只引进
一个连接词，直至列出该公式本身；
3,依据基本真值表，有变项的真值逐步计算出每个部分的真值，
最后列出整个公式得真值。
*例析 4101*
2、完全真值表法的判定功能
（ 1） 命题公式的性质判定 (解释、例析 4102）
（ 2） 推理形式有效性的判定
（ 3） 命题公式之间关系的判定 （ 例析 4103）
三、简化真值表法
（一）归谬赋值法
1、判定功能
判定推理的有效性
2、基本思路
为证明一个蕴涵式是重言式，必须证明它不可能前件真而后件
假。其基本的思路在于赋值归谬。
3、操作程序 （ 例析 4104）
（ 1）先假定蕴涵式假；
（ 2）依假设赋前件真而后件假；
（ 3）依联结词的定义为各支命题赋值；
（ 4）检查赋值结果有无矛盾。
4、具体应用
（二）真值树法
1、判定功能
(1)判定一命题公式是否重言式；
(2)判定一组前提的一致性；
(3)判定一个推理的有效性。
2、构造规则 (分解规则）
合取并列、析取分枝、多重转化
3、构造步骤及注意事项
多重转化,合取先行、析取分枝、
4、具体应用
四、真值表法的局限性
1、完全真值表法的局限性
判定多变项命题公式过于繁琐。
2、归谬赋值法的局限性
仅能判定蕴涵式，且当被判定公式的后件为合取式或等值式是
须分情
况讨论多有不便。
3、真值树法的局限性
判定结构复杂的公式时，树冠过大操作不便。
4、问题：
是否有一种方法既能解决命题逻辑有效性的判定问题又能解决有
效性的推导问题？
第二节 命题演算的证明方法
一、命题演算方法概述
1、命题演算方法在问题求解上的必要性认知
2、命题演算与形式系统构造
3、公理系统与自然演绎系统
4、自然演绎法的基本思想
5、具体推证方法的认知
※ 直接证明法
※ 间接证明法
※ 反证法
二、直接证明法
1、直接证明法的特点认知
勿需附加任何前提即可依规则从给定的前提推导出结论。
2、直接证明法的操作步骤
（ 1） 依序编号排列前提，将结论写在最后一个前提的右侧并用, /∴,
断开。
（ 2） 依据已知前提结合相关规则推出新的命题，依次编号写在下面。
（ 3） 在推出的新命题右侧括号内注明前提依据和规则依据。
（ 4） 证明结束写上 证毕 字样。
3、直接证明法与直接推理
4、应用举例分析
5、直接推证法的逻辑启示 【 例析 4201－ 4206】
三、假设证明法
1、间接推证法的特点认知
给定前提不够，需要附加。
2、假设证明法的基本思路
附加假设，依据蕴涵引入的规则有条件的推出相
关结论。
3,假设证明法的模式构造
4、应用举例分析 【 例析 4207－ 4210】
5、假设证明法的逻辑启示
四、反证法
1、反证法的特点认知
前提不够，需要附加。
附加与结论相矛盾的命题作为假设依据规则进行推导寻求矛盾。
找到矛盾后利用否定引入或销去规则反证结论成立。
2,反证法的模式构造
3、应用举例分析 【 例析 4211,4212】
4、反证法的逻辑启示
五、推证技巧分析
（一）推证实例分析
1.A?B
2.C?D
3.A?C ??B?D
解法一：直接证明法
1.A?B
2.C?D
3.A?C ??B?D
4.?A?C (3.??等值 )
5.?A?D (4.2.?连锁 )
6.?B??A (1.?易位 )
7.?B?D (6.4.?连锁 )
8.B?D (7.??等值 )
证毕。
解法二：假设证法
1.A?B
2.C?D
3.A?C ??B?D
4,?B (假设 ) 4,?D (假设 )
5,?A (1.4.?销去 ) 5,?C (2.4.?销去 )
6,C (3.5.?销去 ) 6,A (4.5.?销去 )
7,D (2.6.?销去 ) 7,B (1.6.?销去 )
8.?B?D (4－ 7.?引入 ) 8.?D?B (4－ 7.?引入 )
9.B?D (8.??等值 ) 9.D?B (8.??等值 )
证毕。 10.B?D (9.?交换 )
证毕。
解法三：反证法
1.A?B
2.C?D
3.A?C ??B?D
4,?(B?D) (反设 )
5,?B??D (4.??等值 )
6,?B (5.?销去 )
7,?A (1.6.?销去 )
8,C (3.7.?销去 )
9,D (2.8.?销去 )
10,?D (5.?销去 )
11,D??D (9.10.?引入 )
12.B?D (4－ 11.?销去 )
证毕。
（二）推证技巧应用原则
…………
…………………………
推证技巧应用的基本思路：
………………
第三节
假设证明法与反证法的区别与综合应用
一、假设证明法与反证法的区别
二、假设证明法与反证法的综合应用
1、在证明中的综合应用 【 例析 4301】
2、在推理中的综合应用 【 4302】
三、命题逻辑定理的证明
((p→ q) ∧ p) → q
p q p→q (p→q) ∧ p ((p→q) ∧ p) →q
T T T T T
T F F F T
F T T F T
F F T F T
*返回 *
L4101,画一个完全真值表
命题公式的性质判定
一个真值形式是 重言式, 当且仅当它在其命题变项的任意一组赋
值下都真 。 例如, p∨ ? p是重言式, 不论 p取什么值, 它的值都为
真 。
一个真值形式是 矛盾式, 当且仅当它在其命题变项的任意一组赋
值下都假 。 例如, q∧ ?q是矛盾式, 不论 q取什么值, 它的值都假 。
一个真值形式是 可真式, 当且仅它在其命题变项的至少一组赋值
下为真 。 例如, p∧q 是可真式 。 当 p和 q 都真时, p∧q 为真 。
例如：
实例分析 4102：
p q p∨ ﹁ p q ∧ ﹁ q p∧ q
T T T F T
T F T F T
F T T F T
F F T F F
永真式 永假式 可真式
*返回 *
实例分析 4103：
p q p→q ﹁ p∨ q p∧ ﹁ q
T T T T F
T F F F T
F T T T F
F F T T F
等值
矛盾 *返回 *
实例分析 4104：
请用归谬赋值法判定（（ p→q ） ∧ ﹁ q） → ﹁ P这个推理是否有效？
（（ p→q ） ∧ ﹁ q） → ﹁ P
F
T F
T T T
F
T
T
由上表可知,q 的赋值出现矛盾，此命题形式是重言式，与之相对应的
推理形式是有效式。
运用归谬赋值法要注意：
※ 由于给变项赋值过程中有先后的不同，因而具体
矛盾的出现可能不同。
※ 只有当赋值过程中 矛盾不可避免 的出现时，才能
表明原公式是重言式，相应的推理有效。
※ 赋值过程中，变项的值有时候不能惟一的确定，
此时需要讨论。
*返回 *
1,?A?B
2,B??C
3,C?D
4,?D /?A
5,C （ 3,4,?销去）
6,?B （ 2,5,?销去）
7,A （ 1,6,?销去）
证毕。
直接证明法（实例分析一） 4201
直接证法（实例分析二） 4202
1,(A?B)??C
2,C?D
3,?B??D /??A
4,D （ 2,?销去）
5,C （ 2,?销去）
6,B （ 3,4,?销去）
7,?(A?B) （ 1,5,?销去）
8,?A??B （ 7,??等值）
9,?A （ 6,8,?销去）
证毕。
直接证明法（实例分析三） 4203
1,A?B
2,?C?D
3,(?A?C)?E
4,?(E?F) /?B?D
5,?E??F （ 4,??等值）
6,?E （ 5,?销去）
7,?(?A?C) （ 3,6,?销去）
8,A??C （ 7,??等值）
9,A （ 8,?销去）
10,?C （ 8,?销去）
11.B （ 1,9?销去）
12.D （ 2,10,?销去）
13.B?D （ 11,12,?引入）
证毕。
直接证明法（实例分析四） 4204
回溯思考方法
1,A?(B?C)
2,A?D
3,C?(E?F)
4,?D??F /?E
(1),回溯”思考，首先要考察待证结论与前提的关联性，待证结论处在
?命题的后件，要获
证必须基于对前件 C的肯定。
(2) C与前提 1关联，要获取必须基于主联结关系 ?的销去。
(3) 前提 1的 ?销去，取决于对前提 2中条件 A的否定。
(4) 要获取对 A的否定，必须基于对后件 D的否定，而后件 D的否定处在前
提 4之中，要获取
?D必先分解前提 4。
“回溯”思考法有助于理清思路，其操作方法是 ??????
直接证明法（实例分析五） 4205
推导结论
1,?(B?D)
2,C?D
3,A?B
4,?(E?F)?C
5,A?F
6,A (5,?销去 )
7,B (3.6.?销去 )
8,?B??D (1.7.??等值 )
9,?D (7.8.?销去 )
10,?C (2.9.?销去 )
11,?(E?F) (4.10.?销去 )
12,?E??F (11.??等值 )
13,F (5.?销去 )
14,?E (12.13.?销去 )
直接证明法（实例分析六） 4206
前提一致性判定之 01
1.A?B
2.B?C
3.D??C
4.A?D
5.D
6.?C
7.?B
8.?A
9.A
10.A??A
直接证明法（实例分析六）
前提一致性判定之 02
1.A?B
2.B?C
3.D??C
4.A?D
5.A
6.B
7.D
8.?C
9.?B
直接证明法（实例分析六）
前提一致性判定之 03
1.A?B
2.B?C
3.D??C
4.A?D
5.A
6.B
7.C
8.D
9.?C
直接证明法（实例分析六）
前提一致性判定之 04
1.A?B
2.B?C
3.D??C
4.A?D
5.A
6.B
7.C
8.?D
9.D
10.D??D
直接证明法（实例分析六）
前提一致性判定之 总结
1.A?B
2.B?C
3.D??C
4.A?D
5.A 5.D 5.A 5.A
6.B 6.?C 6.B 6.B
7.C 7.?B 7.D 7.C
8.?D 8.?A 8.?C 8.D
9.D 9.A 9.?B 9.?C
10.D??D 10.A??A 10.B??B 10.C??C
*返回 *
假设证明法的模式构造
1,
给定前提 2,
3,/ ∴ p?q
4,p (假设 ）
,
：
：
10,q
11,p?q (4---10 ?引入）
※ 返回 ※
1,?B??A
2,B?(A?C) ??A?C
3,A (假设 )
4,B (1.3,?销去 )
5,A?C (2.4.?销去 )
6,C (5.?销去 )
7,A?C (3.6.?引入 )
证毕。
假设证明法（实例分析一） 4207
假设证明法（实例分析二） 4208
1,A?B
2,(B?C)?D /?A?D
3,A (假设 )
4,B (1.3.?销去 )
5,B?C (4.?引入 )
6,D (2.5.?销去 )
7,A?D (3－ 6?引入 )
证毕。
1,A?(B?(C?D))
2,?E??F
3,B?F
4,A ???E?C
5,B?(C?D) (1.4.?销去 )
6,?E (假设 )
7,?F (2.6.?销去 )
8,B (3.7.?销去 )
9,C?D (5.8.?销去 )
10,C (9.?销去 )
11,?E?C (6－ 10.?引入 )
证毕。
假设证明法（实例分析三） 4209
1.A?C
2.C?(E?(H?I))
3.F??I ??A?(F??E)
4,A (假设 )
5,C (1.4.?销去 )
6,E?(H?I) (2.5.?销去 )
7,F (假设 )
8,?I (3.7.?销去 )
9,?I??H (8.?引入 )
10,?H??I (9.?交换 )
11,?(H?I) (10.??等值 )
12,?E (6.11.?销去 )
13,F??E (7－ 12.?引入 )
14,A?(F??E) (4－ 13.?引入 )
证毕。
假设证明法（实例分析四） 4210
※ 返回 ※
反证法的模式构造
1.
2.
3,/? p
4,? p (反设 )
,
,
,
9,q ?? q
10,? p (4－ 9,?销去 )
证毕。
.1.
2.
3,/??p
4,P (反设 )
,
,
,
9,q ?? q
10,? p (4－ 9,?引入 )
证毕。
※ 返回 ※
1.A? B
2.C?? B
3,? (A? C) /??A
4,? A? ? C (3.??等值 )
5,A (反设 )
6,B (1.5.?销去 )
7,C (2.6.?销去 )
8,? C (4.5.?销去 )
9,C? ? C (7.8.?引入 )
10,? A (5－ 9,?引入 )
证毕。
反证法（实例分析一） 4211
1.(?D?F)?(A?E)
2.(A?B)?C
3.B?D ??C
4,?C (反设 )
5,?(A?B) (2.4.?销去 )
6,?A??B (5.??等值 )
7,?B (6.?销去 )
8,D (3.7.?销去 )
9,D?F (8.?引入 )
10,?D?F (9.??等值 )
11,A?E (1.10.?销去 )
12,A (11.?销去 )
13,?A (6.?销去 )
14,A??A (12.13.?引入 )
15,C (4－ 14.?销去 )
证毕。
反证法（实例分析二） 4212
※ 返回 ※
在证明中的综合应用 4301
1,A?B?C
2,(A??B)?C ??B?C
3,?C (假设 )
4,?(A??B) (2.3.?销去 )
5,?A?B (4.??等值 )
6,A?B (1.3.?销去 )
7,?B (反设 )
8,?A (5.7.?销去 )
9,A (6.7.?销去 )
10,?A?A (8.9.?引入 )
11,B (7－ 10.?销去 )
12,?C?B (3－ 11.?引入 )
13,C?B (12.??等值 )
14,B?C (13.?交换 )
证毕。 ※ 返回 ※
在推理中的综合应用 4302
1,(A?B)?C
2,(B?D)?(A?C)
3,(B??A)?(C?D)
4,(B??C)??A
5,B (假设 )
6,?C (反设 )
7,B??C (5.6.?引入 )
8,?A (4.7.?销去 )
9,B??A (5.8.?引入 )
10,C?D (3.9?销去 )
11,D (6.10.?销去 )
12,B?D (5.11.?引入 )
13,A?C (2.12.?销去 )
14,A (8.13.?销去 )
15,A??A (8.14.?引入 )
16,C (6－ 15.?销去 )
17,B?C (5－ 16.?引入 ) ※ 返回 ※
