nbhkdz.com冰点文库

第1章 命题逻辑-5

时间:2013-03-21


?定义1:当且仅当P ? ?

1.5 蕴涵式

Q是一个重言式时, 我们称“P蕴含Q”,并记作P ? Q.

符号→和?的区别与联系类似于?和?的关系。

区别:
→是逻辑联结词,属于对象语言中的符号, 是公式中的符号; ?不是联结词,属于元语言中的符号,表示两个 公式之间的关系,不是两公

式中符号。 A?B成立,其充要条件A→B是永真式。 联系:

原命题

逆换式

反换式

逆反式

P?Q

Q?P

? P?? Q ? Q?? P

? 它们之间具有如下关系: P?Q ? ? Q?? P Q?P ? ? P?? Q

蕴含 式的证明
A?B成立,其充要条件A→B是永真式。

1. 真值表法

2. 等值演算法
原理:

3. 分析(推证)法 若要P ? Q,

则有P ? Q ?T, 或? Q ? ? P ?T 分析:对于P ? Q :

P ?F时,
P ?T时,

对任意的Q, P ? Q ?T;
Q ?T,才有P ? Q ?T;

Q ?F,则有P ? Q ?F;



1).可设P ?T

推出Q?T 有结论P ? Q ?T,则P ? Q。

直接分析法: 前件真,后件必真。

2).由逆反式
可设? Q ?T,

P? Q? ? Q ? ? P 即Q?F, 推出? P ?T 即P?F,

有结论? Q ? ? P ?T , 则? Q ? ? P 。 即P ? Q。 间接分析法: 后件假,前件必假。

? 例: 证明┐Q∧(P→Q)?┐P ? 1) 法1:真值表(略) ? 2) 法2: ┐Q∧(P→Q)→ ┐P ? ? ┐(┐Q∧(P→Q))∨(┐P ) ? ? Q∨┐(┐P∨Q)∨(┐P ) ? ? (┐P∨Q)∨┐(┐P∨Q) ? ?1 ? 即┐Q∧(P→Q)?┐P

? 3) 直接分析法: ? 若 ┐Q∧(P→Q)为真,则 ┐Q,P→Q为真,所以Q为 假,P为假,所以┐P为真。 ? ? 间接分析法: ? 若┐P为假,则P为真,再分二种情况: ? ①若Q为真,则┐Q为假,从而┐Q∧(P→Q) 为假. ? ②若Q为假,则P→Q为假,则┐Q∧(P→Q)为假. ? 根据① ②,所以 ┐Q∧(P→Q)?┐P

? ? ? ? ? ? ? ? ? ? ?

下面常用的14个蕴含式, 都可以用上述方法加以推 证. 1. P∧Q?P 2. P∧Q?Q 3. P?P∨Q 4. ┐P?P→Q 5. Q?P→Q 6. ┐(P→Q )?P 7. ┐(P→Q )?┐Q 8. P∧(P→Q )?Q 9. ┐Q∧(P→Q )?┐P 10. ┐P∧(P∨Q )?Q 11. (P→Q )∧(Q→R)?P→R 12. (P∨Q )∧(P→R)∧(Q→R)?R 13. (P→Q)∧(R→S)? (P∧R)→(Q∧S ) 14. (P?Q)∧(Q?R)? (P?R) 见P16

下面给出等价式与蕴涵式之间的关系。 定理:

? 设A和B是两命题公式, ? A?B的充要条件是A?B且B?A。
? 蕴含式有下列性质: ? 自反性,即对任意公式A,有A?A。 ? 传递性,即对任意公式A、B和C,若 A?B,B?C,则A?C。

? 小结:本节介绍了命题公式的分类,重言式、 矛盾式与蕴含式的概念及其性质,等价式与蕴 涵式的关系。 ? 重点掌握: ? (1)用等值演算法判别命题公式的类型。 ? (2)重言式、矛盾式与蕴涵式的性质。 ? (3)等价式与蕴涵式的关系。
?

作业: P16: 2; 4;5.


选修1-1第一章:命题与逻辑结构词知识点题型归纳

选修1-1第一章:命题逻辑结构词知识点题型归纳_数学_高中教育_教育专区。高二...q ,则 p 是 q 的充要条件. 5逻辑连接词“或” “且” “非” (1)...

高二数学下期选修2-1第一章命题和简易逻辑测试题

高二数学下期选修 2-1 第一章命题和简易逻辑测试题(含答案)一、选择题(本大题共 10 小题,每小题 5 分,共 50 分) 1:若﹁p∨q 是假命题,则() A.p...

数学选修1--1第一章常用逻辑用语测试题及答案

数学选修1--1第一章常用逻辑用语测试题及答案_高二数学_数学_高中教育_教育...充要条件 5.命题: “若 a2 ? b2 ? 0(a, b ? R) ,则 a ? b ? ...

高中数学选修1-1第1章《常用逻辑用语》单元测试题

选修 1-1 第一章《常用逻辑用语》单元测试题答案:命题人:杨丽霞 审题人:王珂 1.D; 2.B; 3.B; 4.B; 5.A; 6.D; 7.B; 8.A; 9.D; 10.A; 11...

第1章 逻辑代数(上):命题演算

《离散数学教程》教案与习题解析 理工学院 段景辉 第1章 1.1 1.1.1 逻辑联结词与命题公式 逻辑联结词 逻辑代数(上) :命题演算 否定词(negation)“并非”(...

高二数学选修1-1第一章常用逻辑用语

高二数学选修1-1第一章常用逻辑用语_数学_高中教育_教育专区。常用逻辑用语 文轩...4)是命题.它是作出判断的语言,它是一个假命题. 5)不是命题.因为并没有对...

人教版高二数学选修1-1 第一章《常用逻辑用语》教案1(...

人教版高二数学选修1-1 第一章《常用逻辑用语》教案1(有答案)_数学_高中教育...C.2 个 D.3 个 第 1 页共 10 页 【例 5】设 原命题为 : “对顶角...

高二数学选修2-1第一章常用逻辑用语_知识点+习题+答案

高二数学选修2-1第一章常用逻辑用语_知识点+习题+答案_数学_高中教育_教育专区...5、对于两个命题,如果一个命题的条件和结论恰好是另一个命题的结论的否定和...

人教版高二数学选修1-1 第一章《常用逻辑用语》教案2(...

人教版高二数学选修1-1 第一章《常用逻辑用语》教案2(有答案)_数学_高中教育...④60 是5 或2 的公倍数, 其中复合命题有( A.①③④ B.③④ C.③ D....

数学选修2-1第一章常用逻辑用语典型例题含解析

数学选修2-1第一章常用逻辑用语典型例题含解析_高二数学_数学_高中教育_教育...(4)有些质数是奇数. 例 5.已知命题 p:x1 和 x2 是方程 x2-mx-2=0 ...