内容正文:
1.1.3四种命题之间的相互关系
第一章 常用逻辑用语
新宁一中 许毓华
回顾
交换原命题的条件和结论,所得的命题是________
同时否定原命题的条件和结论,所得的命题是________
交换原命题的条件和结论,并且同时否定,所得的命题是__________
逆命题。
否命题。
逆否命题。
原命题,逆命题,否命题,逆否命题
四种命题形式:
原命题:
逆命题:
否命题:
逆否命题:
若p,则q。
若q,则p。
若┐p,则┐q。
若┐q,则┐p。
观察与思考
?
你能说出其中任意两个命题之间的关系吗?
规律总结
原命题
若p则q
逆命题
若q则p
否命题
若﹁ p则﹁ q
逆否命题
若﹁ q则﹁p
互为逆否 同真同假
互为逆否 同真同假
互逆命题 真假无关
互逆命题 真假无关
互否命题真假无关
互否命题真假无关
2)原命题:若a=0,则ab=0。
逆命题:若ab=0,则a=0。
否命题:若a≠0,则ab≠0。
逆否命题:若ab≠0,则a≠0。
(真)
(假)
(假)
(真)
(真)
2.四种命题的真假
看下面的例子:
1)原命题:若x=2或x=3,则x2-5x+6=0。
逆命题:若x2-5x+6=0,则x=2或x=3。
否命题:若x≠2且x≠3,则x2-5x+6≠0 。
逆否命题:若x2-5x+6≠0,则x≠2且x≠3。
(真)
(真)
(真)
Help
假
假
假
假
3)原命题:若x∈A∪B,则x∈ U A∪ UB。
x∈ UA∪ UB ,x∈A∪B 。
逆命题:
xA∪B,x UA∪ UB。
否命题:
x UA∪ UB ,xA∪B 。
逆否命题:
四种命题的真假,有且只有下面四种情况:
原命题 逆命题 否命题 逆否命题
真 真 真 真
真 假 假 真
假 真 真 假
假 假 假 假
想一想?
(2) 若其逆命题为真,则其否命题一定为真。但其原命题、逆否命题不一定为真。
由以上三例及总结我们能发现什么?
即 原命题与逆否命题同真假。
原命题的逆命题与否命题同真假。
(1) 原命题为真,则其逆否命题一定为真。但其逆命题、否命题不一定为真。
(互逆或互否的两个命题之间的真假性没有必然关系)
几条结论
1.判断下列说法是否正确。
1)一个命题的逆命题为真,它的逆否命题不一定为真。
(对)
2)一个命题的否命题为真,它的逆命题一定为真。
(对)
2.四种命题真假的个数可能为( )个。
答:0个、2个、4个。
如:原命题:若A∪B=A,则A∩B=φ。
逆命题:若A∩B=φ,则A∪B=A。
否命题:若A∪B≠A,则A∩B≠φ。
逆否命题:若A∩B≠φ,则A∪B≠A。
(假)
(假)
(假)
(假)
3)一个命题的原命题为假,它的逆命题一定为假。
(错)
4)一个命题的逆否命题为假,它的否命题为假。
(错)
练一练
练习:分别写出下列命题的逆命题、否命题、逆否命题,并判断它们的真假。
(1)若q<1,则方程 有实根。
(2)若ab=0,则a=0或b=0。
(3)若m≤0或n≤0,则m+n≤0。
(4)若 ,则x、y全为零。
总结
在直接证明某一个命题为真命题有困难时,可以通过证明它的逆否命题为真命题,来间接证明原命题为真命题。
──这是一种很好的尝试,它往往具有正难则反,出奇制胜的效果。
──这正是反证法的理论基础。从命题结论的反面出发,引出矛盾(这就是由结论的反面推出条件的反面),从而说明原命题成立。
反证法
要证明某一结论A是正确的,但不直接证明,而是先去证明A的反面(非A)是错误的,从而断定A是正确的。
即反证法就是通过否定命题的结论而导出矛盾来达到肯定命题的结论,完成命题的论证的一种数学证明方法。
反证法的步骤:
假设命题的结论不成立,即假设结论的反面成立。
从这个假设出发,通过推理论证,得出矛盾。
由矛盾判定假设不正确,从而肯定命题的结论正确。
推理过程中一定要用到这个假设!
显而易见的矛盾(如和已知条件矛盾)。
例 证明:若p2+q2=2,则p+q≤2。
将“若p2+q2=2,则p+q≤2”看成原命题。由于原命题和它的逆否命题具有相同的真假性,所以要证原命题为真命题,可以去证明它的逆否命题为真命题。
即证明 为真命题
分析:直接证不好下手。
假设原命题结论的反面成立
看能否推出原命题条件的反面成立
尝试成