四种命题的真假关系

合集下载

命题关系及其真假判定

命题关系及其真假判定

1.(1)对条件、结论不明显的命题,可以先将命题改写成“若p,则q”的形式后再进行转换.(2)分清命题的条件和结论,然后进行互换和否定,即可得到原命题的逆命题、否命题和逆否命题.2.四种命题真假的判断方法因为互为逆否命题的真假等价,所以判断四个命题的真假,只需判断原命题与逆命题(或否命题)的真假即可.已知下面四个命题:①对于∀x,若x-3=0,则x-3≤0;②“若a<b,则ac2<bc2”的否命题;③命题“若非零向量a,b,a·b=0,则a⊥b”的逆命题;④已知p、q为两个命题,若“p∨q”为假命题,则“(綈p)∧(綈q)”为真命题.其中所有真命题的序号是________.【思路点拨】对于②③注意四种命题及其关系,对于④涉及到含逻辑联结词的命题,要根据真值表与逻辑联结词的含义判断.【解析】①∵x-3=0⇒x-3≤0,∴为真命题.②“若a <b ,则ac 2<bc 2”的否命题是:“若a ≥b ,则ac 2≥bc 2”,由不等式的性质知为真命题. ③逆命题:“若a ⊥b ,则a·b =0”为真命题. ④由p ∨q 为假命题,∴p 与q 均为假命题.∴綈p ,綈q 为真命题,一定有(綈p )∧(綈q )为真,故④为真命题. 综上知,命题①②③④均为真命题. 【答案】 ①②③④已知命题p :∃x 0∈R ,使sin x 0=32,命题q :x 2-2x +3<0的解集为∅,下列结论:①命题“p ∧q ”是真命题;②命题“p ∧綈q ”是真命题;③命题“綈p ∨q ”是真命题;④命题“綈p ∨綈q ”是真命题.其中正确的是( )A .①③④B .②③C .③④D .①②③④【解析】 命题p :∃x 0∈R ,使sin x 0=32是假命题,命题q :x 2-2x +3<0的解集是∅是真命题,则綈p 为真命题,綈q 为假命题.∴“p ∧q ”是假命题,“p ∧綈q ”是假命题,“綈p ∨q ”与“綈p ∨綈q ”均为真命题. 因此③④正确. 【答案】 C1.(1)直接利用定义判断:即若p ⇒q 成立,则p 是q 的充分条件,q 是p 的必要条件. (条件与结论是相对的)(2)利用等价命题的关系判断:p ⇒q 的等价命题是綈q ⇒綈p ,即若綈q ⇒綈p 成立,则p 是q 的充分条件,q 是p 的必要条件.2.充分条件、必要条件和充要条件的应用此类问题是指属于已知条件是结论的充分不必要条件、必要不充分条件或者充要条件,来求某个字母的值或范围,涉及到的数学知识主要是不等式问题,根据相应知识列不等式(组)求解.下列各小题中,p 是q 的充要条件的是( )①p :m <-2或m >6;q :y =x 2+mx +m +3有两个不同的零点;②p :f (-x )f (x )=1;q :y =f (x )为偶函数;③p :cos α=cos β;q :tan α=tan β; ④p :A ∩B =A ;q :∁U B ⊆∁U A ; A .①② B .②③ C .③④D .①④【思路点拨】 把握充要条件的概念,会用反例来排除选项.【解析】 对①,∵y =x 2+mx +m +3有两个不同零点,∴m 2-4(m +3)>0,解得m <-2或m >6.∴p 是q 的充要条件,排除选项B ,C.对于②,q :取f (x )=x 2在R 上为偶函数,但f (-x )f (x )在x =0处没有意义,p 是q 的充分不必要条件,排除选项A.【答案】D已知p :x 2-8x -20>0,q :x 2-2x +1-a 2>0,若p 是q 的充分而不必要条件,求正实数a 的取值范围.【解】 A ={x |x 2-8x -20>0}={x |x <-2或x >10}, B ={x |x 2-2x +1-a 2>0}={x |x <1-a 或x >1+a }. 由于p 是q 的充分而不必要条件,可知A B . 从而⎩⎪⎨⎪⎧a >01-a ≥-21+a <10或⎩⎪⎨⎪⎧a >0,1-a >-2,1+a ≤10,解得0<a ≤3.故所求正实数a 的取值范围为(0,3].1.(1)判断全称命题为真命题,需严格的逻辑推理证明,判断全称命题为假命题,只需举出反例.(2)判断特称命题为真命题,需要举出正例,而判断特称命题为假命题时,要有严格的逻辑证明.2.含有一个量词的命题否定的关注点全称命题的否定是特称命题,特称命题的否定是全称命题.否定时既要改写量词,又要否定结论.判断下列命题是特称命题还是全称命题,用符号写出其否定并判断命题的否定的真假性.(1)有一个实数α,sin 2α+cos 2α≠1; (2)任何一条直线都存在斜率; (3)存在实数x ,使得1x 2-x +1=2.【思路点拨】 首先找准量词判断是全称命题还是特称命题,写它们的否定时要注意量词的变化,真假判断可从原命题和原命题的否定两个角度择易处理.【规范解答】 (1)特称命题,否定:∀α∈R ,sin 2α+cos 2α=1,真命题. (2)全称命题,否定:∃直线l ,l 没有斜率,真命题. (3)特称命题,否定:∀x ∈R ,1x 2-x +1≠2,真命题.(2013·台州高二检测)下列命题中的假命题是( ) A .∃x 0∈R ,lg x 0=0 B .∃x 0∈R ,tan x 0=1 C .∀x ∈R ,x 3>3 D .∀x ∈R,2x >0【解析】 ∵当x =1时,lg 1=0,∴A 是真命题; ∵当x =π4时,tan π4=1,∴B 是真命题;∵当x <0时,x 3<0,∴C 是假命题;由指数函数的性质可知,对∀x ∈R,2x >0成立,∴D 是真命题. 【答案】 C进而使问题得到解决的一种解题策略.一般是将复杂的问题进行变换,转化为简单的问题,将较难的问题通过变换,转化为容易求解的问题,将未解决的问题转化为已解决的问题.本章主要体现原命题与其逆否命题之间的转化、逻辑语言与一般数学语言的转化等.通过转化,使复杂问题简单化,抽象问题具体化.设命题p :函数f (x )=lg ⎝⎛⎭⎫ax 2-x +116a 的定义域为R ;命题q :不等式2x +1<1+ax 对一切正实数均成立.如果命题“p 或q ”为真命题,命题“p 且q ”为假命题,求实数a 的取值范围.【思路点拨】 由于“p 或q ”为真,“p 且q ”为假,可以得到p 与q 一真一假,再转化为集合间的关系求解结果.【规范解答】 由ax 2-x +116a >0恒成立,得⎩⎪⎨⎪⎧a >0,Δ=1-4×a ×a 16<0,解得a >2.∵2x +1<1+ax 对一切正实数均成立,令t =2x +1>1,则x =t 2-12,∴2(t -1)<a (t 2-1)对一切t >1均成立. ∴2<a (t +1),∴a >2t +1,∴a ≥1.∵“p 或q ”为真,“p 且q ”为假,∴p ,q 一真一假.若p 真q 假,则a >2且a <1,∴a 值不存在.若p 假q 真,则a ≤2且a ≥1,∴1≤a ≤2. 故a 的取值范围为1≤a ≤2.判断p :x ≠2或y ≠3是q :x +y ≠5的什么条件. 【解】 若p ,则q 的逆否命题是若綈q ,则綈p . 由于綈q :x +y =5;綈p :x =2且y =3, 于是綈p ⇒綈q ,而綈q綈p .故q ⇒p ,p q ,即p 是q 成立的必要不充分条件.。

s和p外延关系的四种命题的真假情况表

s和p外延关系的四种命题的真假情况表

s和p外延关系的四种命题的真假情况表1. 引言s和p外延关系是数理逻辑中的一个重要概念。

在逻辑学领域,s和p分别代表两个集合,s是主语集合,p是谓词集合。

s和p的外延关系描述了一个命题在s和p 之间的真假关系。

本文将会对s和p外延关系中的四种命题进行详细的讨论和分析。

2. s和p外延关系在介绍四种命题之前,我们先来了解一下s和p外延关系的基本概念。

s和p分别代表两个集合,s是主语集合,p是谓词集合。

s和p之间的外延关系描述了一个命题在s和p之间的真假关系。

外延关系可以分为四种情况:反例外延关系、包含外延关系、相等外延关系和特指外延关系。

2.1 反例外延关系反例外延关系表示命题的真值为假,即命题在主语集合中的所有元素都不满足谓词集合的条件。

2.1.1 真值为假的命题命题:所有狗都会飞。

狗飞小狗否大狗否……在这个例子中,主语集合是所有狗的集合,谓词集合是会飞的集合。

根据现实情况,我们可以得出结论:所有狗都不会飞,因此命题的真值为假。

2.1.2 反例外延关系的特点•命题的真值为假。

•主语集合中的所有元素都不满足谓词集合的条件。

2.2 包含外延关系包含外延关系表示命题的真值为真,即命题在主语集合中的所有元素都满足谓词集合的条件。

2.2.1 真值为真的命题命题:所有狗都有尾巴。

狗尾巴小狗是大狗是……在这个例子中,主语集合仍然是所有狗的集合,谓词集合是有尾巴的集合。

根据现实情况,我们可以得出结论:所有狗都有尾巴,因此命题的真值为真。

2.2.2 包含外延关系的特点•命题的真值为真。

•主语集合中的所有元素都满足谓词集合的条件。

2.3 相等外延关系相等外延关系表示命题的真值为真假都有,在主语集合中有满足谓词集合的元素,也有不满足谓词集合的元素。

2.3.1 真值为假和真值为真的命题命题:所有狗都会叫。

狗叫小狗是大狗否……在这个例子中,主语集合仍然是所有狗的集合,谓词集合是会叫的集合。

根据现实情况,我们可以得出结论:有些狗会叫,有些狗不会叫,因此命题的真值既为真又为假。

四种命题及其关系

四种命题及其关系

四种命题及其关系本节课主要讲解了命题的概念及其结构,命题是能够判断真假的陈述句,其中真命题为真实陈述,假命题为虚假陈述。

需要注意的是,不是任何语句都是命题,只有能够判断真假的陈述句才是命题。

命题通常可以改写成“若p,则q”的形式,其中p为命题的条件,q为命题的结论。

类型二:四种命题及其关系本节课还介绍了四种命题及其关系,包括原命题、逆命题、否命题和逆否命题。

其中,逆命题和否命题是互为逆命题的,逆否命题和原命题是互为逆否命题的。

需要注意的是,四种命题之间的真假关系并不总是有必然联系,只有互为逆否命题的两个命题同真同假。

因此,在判断命题真假时需要仔细分析其结构和关系。

本课程介绍了命题的概念和结构,以及四种命题及其关系。

命题是能够判断真假的陈述句,其中真命题为真实陈述,假命题为虚假陈述。

需要注意的是,只有能够判断真假的陈述句才是命题,而命题通常可以改写成“若p,则q”的形式,其中p 为命题的条件,q为命题的结论。

四种命题包括原命题、逆命题、否命题和逆否命题,其中逆命题和否命题是互为逆命题的,逆否命题和原命题是互为逆否命题的。

需要注意的是,四种命题之间的真假关系并不总是有必然联系,只有互为逆否命题的两个命题同真同假。

因此,在判断命题真假时需要仔细分析其结构和关系。

判断下列语句中哪些是命题,是命题的判断其是真命题还是假命题。

1) 末位是5的整数能被5整除。

2) 平行四边形的对角线相等且互相平分。

3) 两直线平行,则斜率相等。

4) 在三角形ABC中,若∠A=∠B,则sinA=sinB。

5) 余弦函数是周期函数吗?举一反三:变式1】判断下列语句是否为命题?若是,判断其真假。

1) x>1;2) 当x=1时,x>1;3) 你是男生吗?4) 求证:π是无理数。

变式2】下列语句中是命题的是()A。

|x+a|B。

{0}∈NC。

元素与集合D。

真子集变式3】判断下列语句是否是命题。

1) 这是一棵大树。

2) sin30°=1/2.3) x+1>0;4) 梯形是平行四边形。

四种命题的真假-P

四种命题的真假-P

分析:“当c>0时”是大前提,写其它命题时应该保留。
原命题的条件是“a>b”,结论是“ac>bc”。
解:逆命题:当c>0时,若ac>bc, 则a>b. 否命题:当c>0时,若a≤b, 则ac≤bc. 逆否命题:当c>0时,若ac≤bc, 则a≤b.
(真) (真) (真)
例2 若m≤0或n≤0,则m+n≤0。写出其逆命题、否命题、 逆否命题,并分别指出其真假。
布置作业:33页 3、4两题 。 课外延拓:各小组自编命题并判断真假。
练一练
1.判断下列说法是否正确。 1)一个命题的逆命题为真,它的逆否命题不一定为真;(对) 2)一个命题的否命题为真,它的逆命题一定为真。 (对) 3)一个命题的原命题为假,它的逆命题一定为假。 (错) 4)一个命题的逆否命题为假,它的否命题为假。 (错)
2.四种命题真假的个数可能为( 答:0个、2个、4个。
分析:搞清四种命题的定义及其关系,注意“且” “或”的 否定为“或” “且”。
解:逆命题:若m+n≤0,则m≤0或n≤0。 否命题:若m>0且n>0, 则m+n>0. 逆否命题:若m+n>0, 则m>0且n>0.
(真) (真) (假)
小结:在判断四种命题的真假时,只需判断两种命题的 真假。因为逆命题与否命题真假等价,逆否命题与原命 题真假等价。
(假)
逆命题:若ac2>bc2, 则a>b。 否命题:若a≤b,则ac2≤bc2。 逆否命题:若ac2≤bc2,则a≤b。 4) 原命题:若a > b, 则 a2>b2。
逆命题:若a2>b2, 则a>b。 否命题:若a≤b,则a2≤b2。 逆否命题:若a2≤b2,则a≤b。

四种命题及其关系

四种命题及其关系

四种命题及其关系一、四种命题的概念1. 原命题- 定义:若用p表示条件,q表示结论,则原命题为“若p,则q”,例如“若x = 1,则x^2=1”。

2. 逆命题- 定义:将原命题的条件和结论互换得到的命题,即“若q,则p”。

对于上面的例子,其逆命题为“若x^2=1,则x = 1”。

3. 否命题- 定义:将原命题的条件和结论都进行否定得到的命题,即“若¬ p,则¬q”。

对于“若x = 1,则x^2=1”,其否命题为“若x≠1,则x^2≠1”。

4. 逆否命题- 定义:将逆命题的条件和结论都进行否定得到的命题,即“若¬ q,则¬p”。

对于“若x = 1,则x^2=1”,其逆否命题为“若x^2≠1,则x≠1”。

二、四种命题之间的关系1. 原命题与逆命题- 关系:原命题的条件和结论是逆命题的结论和条件,它们之间是互逆的关系。

原命题为真时,逆命题不一定为真。

例如原命题“若a = 0,则ab=0”是真命题,其逆命题“若ab = 0,则a = 0”是假命题(因为当b = 0时,a可以不为0)。

2. 原命题与否命题- 关系:原命题与否命题是互否的关系,原命题为真时,否命题不一定为真。

例如原命题“若x>2,则x>1”是真命题,其否命题“若x≤slant2,则x≤slant1”是假命题。

3. 原命题与逆否命题- 关系:原命题与逆否命题是同真同假的关系。

例如原命题“若a = b,则a^2=b^2”是真命题,其逆否命题“若a^2≠ b^2,则a≠ b”也是真命题;原命题“若x = 1且y = 2,则x + y=3”是真命题,其逆否命题“若x + y≠3,则x≠1或y≠2”也是真命题。

4. 逆命题与否命题- 关系:逆命题与否命题是互为逆否的关系,所以它们也是同真同假的关系。

例如对于原命题“若p,则q”,其逆命题“若q,则p”和否命题“若¬ p,则¬q”,若逆命题为真,则否命题也为真;若逆命题为假,则否命题也为假。

四种命题间的真假关系

四种命题间的真假关系

四种命题间的真假关系
四种命题的真假关系是:两个命题互为逆否命题,它们有相同的真假性。

两个命题为互逆命题或互否命题,它们的真假性没有关系。

原命题与逆否命题同真同假,逆命题与否命题同真同假。

原命题与逆命题互逆;否命题与原命题互否;原命题与逆否命题相互逆否;逆命题与否命题相互逆否;逆命题与逆否命题互否;逆否命题与否命题互逆。

对于p且q形式的复合命题,同真则真。

对于p 或q形式的复合命题,同假则假。

对于非p形式的复合命题,真假相反。

四种命题的关系及真假判断

四种命题的关系及真假判断

完成下列练习
3、互为逆否命题的真假性判断
原命题 若p则q
互逆
互否
否命题 若p则q
互 为
互为
逆 逆否 否
互逆
逆命题 若q则p
互否
逆否命题 若q则p
因为互为逆否命题同真同假,所以讨论四种命题的真假性只讨论原命 题和逆否命题中的一个,逆命题和否命题中的一个,只讨论两种就可以了, 不必对四种命题形式—一加以讨论.
注意:(1)本题中设计到一元二次方程有无实数根的判断,所以应 该利用一元二次方程的根的判别式。
(2)当一个命题的逆否命题的真假性不容易判断时可以根据 原命题的真假进行判断。
完成下列练习
1、设原命题是“若a=0,则 ab=0”,写出它的逆命题、否命题与逆否命题,
并判断真假。
解:逆命题:若ab=0,则a=0

否命题:若a2 b2 0,则a,b不全为0 真
逆否命题:若a,b不全为0,则a2 b2 0 真
注意:“a,b全为0”的否定应该是:a,b不全为0
(2)逆命题: 若x2 x a 0有实数根,则a 0

否命题:若a 0,则x2 x a 0没有实数根

逆否命题:若x2 x a 1没有实数根,则a 0 真
注意: 若p则q的形式的命题虽然也是一种复合命题,但它与上一节的复合
命题不同,因而不能用课本上的真值表判断其真假.判断它的四种命题 的真假,要严格证明,判断它的四种命题为假,只需举一个反例说明.另 须指出的是:
原命题 逆否命题
逆命题 否命题
因而四种命题真假的个数一定为偶数,即0个或2个或4个.
四种命题的关系及真假判断
例2 、设原命题是“当c>0时,若a>b,则ac>bc”写出它的逆命题、否命

命题的条件和结论如何写完整

命题的条件和结论如何写完整

命题的条件和结论如何写完整一、命题及其关系1.命题的概念在数学中用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.其中判断为真的语句叫真命题,判断为假的语句叫假命题.2.四种命题及其关系(1)四种命题原命题:若p,则q。

逆命题:若q,则p。

否命题:若¬P,则¬q。

逆否命题:若¬q,则¬p。

(2)四种命题间的关系3.四种命题的真假关系(1)两个命题互为逆否命题,它们有相同的真假性;(2)两个命题互为逆命题或互为否命题,它们的真假性没有关系.【提醒】当一个命题有大前提而要写出其他三种命题时,必须保留大前提,也就是大前提不动.二、充分条件与必要条件1.充分条件与必要条件的概念(1)若p⇒q,则p是q的充分条件,q是p的必要条件;(2)若p⇒q且qp,则p是q的充分不必要条件;(3)若p q且q⇒p,则p是q的必要不充分条件;(4) 若p⇔q,则p是q的充要条件;(5) 若pq且qp,则p是q的既不充分也不必要条件.2.必记结论(1)等价转化法判断充分条件、必要条件①p是q的充分不必要条件是的充分不必要条件;②p是q的必要不充分条件是的必要不充分条件;③p是q的充要条件是的的充要条件;④p是q的既不充分也不必要条件是的既不充分也不必要条件.(2)集合判断法判断充分条件、必要条件若p以集合A的形式出现,q以集合B的形式出现,即p:A={x|p(x) },q:B={x|q(x) },则①若,则p是q的充分条件;②若,则p是q的必要条件;③若,则p是q的充分不必要条件;④若,则p是q的必要不充分条件;⑤若A=B,则p是q的充要条件;⑥若且,,则p是q的既不充分也不必要条件.考向一四种命题的关系及其真假的判断四种命题的关系及其真假的判断是高考中的一个热点,多以选择题的形式出现,难度一般不大,往往会结合其他知识点(如函数、不等式、三角、向量、立体几何等)进行综合考查.常见的解法如下:1.判断四种命题间关系的方法①由原命题写出其他三种命题,关键要分清原命题的条件和结论,将条件与结论互换即得逆命题,将条件与结论同时否定即得否命题,将条件与结论互换的同时进行否定即得逆否命题.②原命题和逆否命题、逆命题和否命题有相同的真假性,解题时注意灵活应用.2.命题真假的判断方法①给出一个命题,要判断它是真命题,需经过严格的推理证明;而要说明它是假命题,则只需举一反例即可.②由于原命题与其逆否命题为等价命题,有时可以利用这种等价性间接地证明命题的真假.考向二充分、必要条件的判断充分条件与必要条件的判断是高考命题的热点,多以选择题形式出现,作为载体,考查知识面广,常与函数、不等式、三角函数、平面向量、立体几何、解析几何等知识综合考查.常见的解法如下:1.命题判断法设“若p,则q”为原命题,那么:(1)原命题为真,逆命题为假时,则p是q的充分不必要条件;(2)原命题为假,逆命题为真时,则p是q的必要不充分条件;(3)当原命题与逆命题都为真时,则p是q的充要条件;(4)当原命题与逆命题都为假时,则p是q的既不充分也不必要条件.考向三充分、必要条件的应用充分、必要条件的应用主要涉及根据充要条件求解参数的取值范围,具体解法如下:1.解决此类问题一般是把充分条件、必要条件或充要条件转化为集合之间的关系,然后根据集合之间的关系列出关于参数的不等式(组)求解.2.求解参数的取值范围时,一定要注意区间端点值的检验,尤其是利用两个集合之间的关系求解参数的取值范围时,不等式是否能够取等号决定端点值的取舍,处理不当容易出现漏解或增解的现象。

四种命题的真假关系

四种命题的真假关系
(2)逆命题:已知a,b是实数,若a,b都是无理数,则a+b是无理数;
假( )
否命题:已知a,b是实数,若a+b不是无理数,则a,b不都是无理数;假(此时两个数都不是无理数)
逆否命题:已知a,b是实数,若a,b不都是无理数,则a+b不是无理数;假
(3)逆命题:若x,y全为零,则x2+y2=0;真
否命题:若x2+y2≠0,则x,y不全为零;真
教学用具:PPT
教学内容
师生活动
备注
复习回顾
1.四种命题的形式是什么?
2.四种命题的基本关系是什么?
引例1:写出下列命题的逆命题,否命题和逆否命题,并判断它们的真假:
(1)若x<y,则y>x;
(2)若a=0,则ab=0;
(3)当x∈R时,若f(x)过原点,则f(x)是奇函数。
解:(1)原命题:若x<y,则y>x;真
任课教师
白杰
授课班级
高二(9)、(10)班
授课日期
10.8
教学课题:四种命题的真假关系
教学目标:
1,正确理解四种命题之间的真假关系;
2,会应用它们之间的真假关系处理问题;
3,培养学生逻辑推理能力。
教学方法:讲授法、讲练结合、探究法、自学法
教学重点:正确理解四种命题之间的真假关系
教学难点:会应用它们之间的真假关系处理问题
②“若k>0,则方程x2+2x-k=0有实根”的逆否命题;
③“全等三角形的面积相等”的否命题;
④“若ab≠0,则a≠0”的否命题.
其中真命题的个数是( C )
A.0个B.1个C.2个D.3个
评注:真命题为:①②

四种命题的关系,判断真假

四种命题的关系,判断真假
(2) 原命题:若x,y全为零 则xy=0; 原命题: 全为零,则 全为零 ; 逆命题: 逆命题:若xy=0 ,则x,y全为零 ; 否命题: 否命题: 若 x , y 不全为零 , 则 xy ≠ 0; 若 逆否命题: 逆否命题: xy ≠ 0, 则x, y不全为零.
真 假 假 真
试判断以上命题的真假
归纳结论
一般地,四种命题的真假性, 一般地,四种命题的真假性,有且仅有以下四种情况 原命题 真 真 假 假 逆命题 否命题 真 假 真 假 真 假 真 假 逆否命题 真 真 假 假
两个命题互为逆否命题,他们有相同的真假性; 两个命题互为逆否命题,他们有相同的真假性; 两个命题互为逆命题或互为否命题,他们的真假 两个命题互为逆命题或互为否命题,
作业: 金榜》 作业:《金榜》相关练习

小结: 小结
四种命题的概念与表示形式: 四种命题的概念与表示形式 如果原命题 原命题为 如果原命题为:若p,则q, , , 则它的逆命题 为 则它的 逆命题为 : 若 q, 则 p, 即交换原命题的 逆命题 , , 条件和结论即得其逆命题. 条件和结论即得其逆命题 否命题为 否命题为:若┐p,则┐q,即同时否定原命题的 , , 条件和结论,即得其否命题. 条件和结论,即得其否命题 逆否命题为 逆否命题为:若┐q,则┐p,即交换原命题的条 , , 件和结论,并且同时否定,则得其逆否命题. 件和结论,并且同时否定,则得其逆否命题 互为" 注:(1)"互为"的含义 互为 的含义; (2)原命题与其逆否命题同真同假 原命题与其逆否命题同真同假. 原命题与其逆否命题同真同假
巩固提高
2.若命题p的否命题是q,命题q的逆命题是r,则r 是p的逆命题的 ( C) A.原命题

四种命题的关系及其真假判断

四种命题的关系及其真假判断

+ b2 = 0 否命题: 否命题: a 2 + b 2 ≠ 0,则a, b不全为0 若 逆否命题: 逆否命题:若a, b不全为0,则a 2 + b 2 ≠ 0
真 真 真
注意: 注意:“a,b全为0”的否定应该是:a,b不全为0 全为0”的否定应该是: 0”的否定应该是 不全为0 (2)逆命题: 若x 2 )逆命题:

逆否命题
逆命题

否命题
因而四种命题真假的个数一定为偶数, 个或2个或 因而四种命题真假的个数一定为偶数,即0个或 个或 个. 个或 个或4个
四种命题的关系及真假判断
课堂小结: 课堂小结: 1、理解四种命题之间的相互关系; 、理解四种命题之间的相互关系; 2、理解一个命题的真假与其他三个命题真假间的关系; 、理解一个命题的真假与其他三个命题真假间的关系; 3、能根据原命题的真假判断其他三个命题的真假。 、能根据原命题的真假判断其他三个命题的真假。 4、互为逆否命题的等价性。 、互为逆否命题的等价性。
四种命题的关系及真假判断
学习目标: 学习目标: 1、理解四种命题之间的相互关系; 、理解四种命题之间的相互关系; 2、理解一个命题的真假与其他三个命题真假间的关系; 、理解一个命题的真假与其他三个命题真假间的关系; 3、能根据原命题的真假判断其他三个命题的真假。 、能根据原命题的真假判断其他三个命题的真假。 4、互为逆否命题的等价性。 、互为逆否命题的等价性。
c>0时 a>b, ac>bc“写出它的逆命题 写出它的逆命题、 2、设原命题是“当 c>0时,若a>b,则ac>bc“写出它的逆命题、否命题与 设原命题是“
注意:本题中的“ 注意:本题中的“当c>0时”是大前提,不论在写逆命题、否命题或逆否命 时 是大前提,不论在写逆命题、 题时都应该把它写在最前面;而本题原命题的条件p时 题时都应该把它写在最前面;而本题原命题的条件 时:若a>b,结 , 论是: 论是:ac>bc.

四种命题的真假-P

四种命题的真假-P
:拓宽后的马路由原来的四~变为六~。比喻冲破黑暗,【沉醉】chénzuì动大醉,形容风景等引人入胜。比如把“包子”写成“饱子”, 是计算机应用的 基础。 ②(~儿)形体像饼的东西:铁~|豆~|煤~|柿~儿。【称霸】chēnɡbà动倚仗权势,【箯】biān[箯舆](biānyú)名古代的一种竹轿。 根据实际情况或临时变化就斟酌处理。在高温下熔化、成型、冷却后制成。④形不好; 【姹】(奼)chà〈书〉美丽。②形(子实)不饱满:~粒|~谷 子。【槎】lchá〈书〉木筏:乘~|浮~。 【超出】chāochū动超越;参看16页〖八斗才〗 【畅顺】chànɡshùn形顺畅:运作~|交易~。花黄色, ② 商埠:开~。 【草鞋】 cǎoxié名用稻草等编制的鞋。包括草原、草甸子等。【秉性】bǐnɡxìnɡ名性格:~纯朴|~各异。 【倡议】chànɡyì①动首先建议;【超新星】 chāoxīnxīnɡ名超过原来光度一千万倍的新星。 一种打击乐器。 【畅销】chànɡxiāo动(货物)销路广,【沉抑】chényì形低沉抑郁; 这种战术叫 车轮战。【;https:///char/ 区块链人物介绍 区块链名人 虚拟货币人物介绍 比特币人物介绍 ;】bùyánɡ形(相貌)不好看:其貌~。。 【残部】cánbù名 残存下来的部分人马。【菜案】cài’àn名炊事分工上指做菜的工作;不得了(用在“得”字后做补语):累得~|大街上热闹得~。使建筑物内部得到适 宜的自然光照。狠读:~无人道。花小, 【瞠目】chēnɡmù〈书〉动眼直直地瞪着,【驳】3(駁)bó①驳运:起~|~卸。【补妆】bǔ∥zhuān ɡ动对 化过的妆进行修补。三面有边沿, 【病变】bìnɡbiàn动由致病因素引起的细胞、组织或器官的变化,②旧时称在衙门中当差的人。②〈书〉茶水。是陆军 的主要兵种。 【潮剧】cháojù名流行于广东潮州、汕头等地的地方戏曲剧种。不溶于水,【边界】biānjiè名地区和地区之间的界线(多指国界,【丙】 bǐnɡ①名天干的第三位。 【变质】biàn∥zhì动人的思想或事物的本质得与原来不同(多指向坏的方面转变):蜕

四种命题的真假

四种命题的真假

总结:
(1) 原命题为真,则其逆否命题一定为真。但其逆命题、否 命题不一定为真。 (2) 若其逆命题为真,则其否命题一定为真。但其原命题、 逆否命题不一定为真。 想一想? 由以上三例及总结我们能发现什么?
即:原命题与逆否命题的真假是等价的。 逆命题与否命题的真假是等价的。
练一练
1.判断下列说法是否正确。否命题:当c>0时,若a≤b, 则ac≤bc.
逆否命题:当c>0时,若ac≤bc, 则a≤b.
例2 若m≤0或n≤0,则m+n≤0。写出其逆命题、否命题、 逆否命题,并分别指出其真假。 分析:搞清四种命题的定义及其关系,注意“且” “或”的 否定为“或” “且”。
解:逆命题:若m+n≤0,则m≤0或n≤0。
四种命题的关系 及真假
1.四种命题的关系:
原命题 若p则q 互否 否命题 若 p则 q 互逆 逆命题 若q则p
互为
互逆
逆否
互否
逆否命题 若 q则 p
思考:若命题p的逆命题是q,命题r是命题q的否命题,则 q是r的( 逆否)命题。
(真 ) 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。 (真 ) 2)原命题:若a=0, 则ab=0。 (真 ) (假 ) 逆命题:若ab=0, 则a=0。 否命题:若a≠ 0, 则ab≠0。 (假 ) 逆否命题:若ab≠0,则a≠0。 (真 ) 3) 原命题:若a > b, 则 ac2>bc2。 (假) (真) 逆命题:若ac2>bc2, 则a>b。 否命题:若a≤b,则ac2≤bc2。 (真) 逆否命题:若ac2≤bc2,则a≤b。 (假) 4) 原命题:若a > b, 则 a2>b2。 (假) 逆命题:若a2>b2, 则a>b。 (假) 否命题:若a≤b,则a2≤b2。 (假) 逆否命题:若a2≤b2,则a≤b。 (假)

四种命题的真假关系

四种命题的真假关系
四种命题的真假关系
复习回顾 1.四种命题的形式是什么? 2.四种命题的基本关系是什么? 引例1:写出下列命题的逆命题,否命题和 逆否命题,并判断它们的真假: (1)若x<y,则y>x; (2)若a=0,则ab=0; (3)当x∈R时,若函数f(x)图象过原点,则f(x) 是奇函数。
问题1:由上面3个题目,你能得出什么结论?
2.下列说法: (1)四种命题中真命题的个数一定是偶数; (2)若一个命题的逆命题是真命题,则它的否命 题不一定是真命题; (3)逆命题与否命题之间是互为逆否关系; (4)若一个命题的逆否命题是假命题,则它的逆 命题与否命题都是假命题; (5)一个命题的否命题为真,它的逆命题必为假。 其中正确的个数有( ) A.1个 B.2个 C.3个 D.4个
一.四种命题之间的真假关系 (1)两个命题互为逆否命题, 它们具有相同的真假性; (2)两个命题互为否命题或互为逆命题, 它们的真假性没有关系。
课堂练习 1.若命题p的否命题为r,命题r的逆命题为s, 则命题p的逆命题t与s的关系是( ) A.互为逆命题 B.互为否命题 C.互为逆否命题 D.同一个命题
引例1:证明:若x2&的原理:
(2)应用间接法证明的一般步骤:
(3) 适宜用反证法证明的数学命题:
例1,求证:若a b 0,则 a b
3.命题“若x=3,则x2-9x+18=0”的逆命题, 否命题和逆否命题中,假命题的个数为( ) A . 0 个 B . 1 个 C . 2个 D . 3个
关键词 大(小)于 是 全为 都是 有 任何 所有的 至少一个 至多一个 均为 p或 q p且 q
否定 不大(小)于 不是 不全为 不都是 无 某些 有一个 一个也没有 至少两个 不均为 ┐p且┐q ┐p或┐q

命题的四种形式及关系

命题的四种形式及关系

命题的四种形式及关系1. 什么是命题?在逻辑学中,命题是一个陈述句,它可以被判断为真或假。

命题是逻辑推理的基本单位,通过对命题的分析和组合,我们可以进行有效的推理和论证。

2. 命题的四种形式2.1 简单命题简单命题是最基本的命题形式,它不能再被分解为更小的命题。

简单命题通常用一个字母或一个词来表示,例如:P、Q、R等。

简单命题可以是真(True)或假(False)。

例如,“太阳从东方升起”这个陈述就是一个简单命题,它可以被判断为真。

2.2 复合命题复合命题由多个简单命题通过逻辑运算符连接而成。

常见的逻辑运算符有:•否定(Negation):表示取反关系,用符号”¬“表示。

•合取(Conjunction):表示与关系,用符号”∧“表示。

•析取(Disjunction):表示或关系,用符号”∨“表示。

•条件(Implication):表示蕴含关系,用符号”→“表示。

•双条件(Biconditional):表示等价关系,用符号”↔“表示。

例如,命题”P并且Q”可以表示为P∧Q,命题”P或者Q”可以表示为P∨Q。

2.3 合取范式合取范式是一种复合命题的标准形式,它由多个简单命题的合取构成。

合取范式通常用括号和逻辑运算符来表示。

例如,命题”(P∨Q)并且(¬R)“就是一个合取范式。

在合取范式中,每个简单命题都是一个子命题,并通过逻辑运算符连接起来。

2.4 析取范式析取范式是另一种复合命题的标准形式,它由多个简单命题的析取构成。

析取范式通常用括号和逻辑运算符来表示。

例如,命题”(P∧¬Q)或者R”就是一个析取范式。

在析取范式中,每个简单命题都是一个子命题,并通过逻辑运算符连接起来。

3. 命题的关系3.1 等价关系两个命题被称为等价关系,如果它们具有相同的真值表。

换句话说,两个等价的命题在所有情况下都具有相同的真假值。

等价关系可以用双条件符号”↔“来表示。

例如,命题”P并且Q”和命题”Q并且P”是等价命题,可以表示为P∧Q ↔ Q∧P。

四种命题的真假

四种命题的真假

娅婆婆又发出八声凶黑色的艺术怒吼,只见她银橙色拖网一般的眼睛中,变态地跳出五簇霓虹灯状的奇涧美玉翅鹊,随着女总裁腾霓玛娅婆婆的摇动,霓虹灯状的奇涧美玉
翅鹊像芝麻;杠杆融资 股票融资方法 股票杠杆多少 股票多少杠杆 股票几倍杠杆 融资杠杆申请 股票杠杆比率 何谓股市杠杆;上面悬浮着的胶状体横
四种命题的关系 及真假
1.四种命题的关系:
原命题 若p则q
互逆
逆命题 若q则p
互否 互为
逆否 互否
否命题 若 p则 q
互逆
逆否命题 若 q则 p
思考:若命题p的逆命题是q,命题r是命题q的否命题,则 q是r的( 逆否)命题。
1)原命题:若x=2或x=3, 则x2-5x+6=0。
(真)
逆命题:若x2-5x+6=0, 则x=2或x=3。
分析:搞清四种命题的定义及其关系,注意“且” “或”的 否定为“或” “且”。
解:逆命题:若m+n≤0,则m≤0或n≤0。 否命题:若m>0且n>0, 则m+n>0. 逆否命题:若m+n>0, 则m>0且n>0.
(真) (真) (假)
小结:在判断四种命题的真假时,只需判断两种命题的 真假。因为逆命题与否命题真假等价,逆否命题与原命 题真假等价。
)个。
如:原命题:若A∪B=A, 则A∩B=φ。 逆命题:若A∩B=φ,则A∪B=A。 否命题:若A∪B≠A,则A∩B≠φ。 逆否命题:若A∩B≠φ,则A∪B≠A。
(假) (假) (假) (假)
例题讲解
例1:设原命题是:当c>0时,若a>b,则ac>bc. 写出它的逆命 题、否命题、逆否命题。并分别判断它们的真假。

四种命题

四种命题

则a+b≠1.
逆否证法
常用的“结论词”与“反设词”列表如 下: 原结论 原结论
词 至少有 一个 至多有 一个 至少有 n个 至多有 n个 反设词 一个也没有 至少有两个 至多有n-1个
词 对所有x 存在某x不成立 成立 对任意x 存在某x成立 不成立 p或 q p且 q 非p且非q
反设词
至少有n+1个
非p或非q
知识要点:
一、四种命题的概念:
原命题: 若 p 则 q . 逆命题: 若 q 则 p . 否命题: 若 p 则 ┐q .
逆否命题:若 ┐ q 则 ┐p.
举例
二、等价性:
1、原命题为真,它的逆否命题一定真;
2、原命题为真,它的逆命题、否命题不
一定真; 3、一个命题与它的逆否命题是等价的.
举例
三、四种命题之间的关系:
6
至少有一个大于0.
例3、已知正实数a、b、c满足
a+b+c=1,在关系式
3(1-a2)≤4(b+c),
3(1-b2)≤4(c+a), 3(1-c2)≤4(a+b)中,
试证明至少有一个成立.
例4、已知a和b均为正有理数,且 a和
b 都是无理数,证明 a b是无理数.
例5、证明:若a2+2ab+b2+a+b-2≠0,
返回
例2、判断下列命题的真假,并写出它 们的逆命题、否命题、逆否命题. (1)若a>b,则ac2>bc2;
(2)若在二次函数y=ax2+bx+c中,
b2-4ac<0,则该二次函数图象
与x轴有公共点.
返回
例3、判断下列命题的真假:

四种命题间的相互关系

四种命题间的相互关系

分析:“当c>0时”是大前提,写其它命题时应该保留。
原命题的条件是“a>b”, 结论是“ac>bc”。 解:逆命题:当c>0时,若ac>bc, 则a>b. 否命题:当c>0时,若a≤b, 则ac≤bc. 逆否命题:当c>0时,若ac≤bc, 则a≤b. (真)
(真)
(真)
例2 若m≤0或n≤0,则m+n≤0。写出其逆命题、否命题、 逆否命题,并分别指出其真假。 分析:搞清四种命题的定义及其关系,注意“且” “或”的 否定为“或” “且”。 解:逆命题:若m+n≤0,则m≤0或n≤0。 否命题:若m>0且n>0, 则m+n>0. 逆否命题:若m+n>0, 则m>0且n>0. (真) (真)
3.下列说法中错误的一项是( C )
A. 一个命题的原命题为真,它的逆命题不一定为真;
B. 一个命题的原命题为假,它的否命题不一定为真;
C. 一个命题的否命题为真,它的逆命题一定为假; D. 一个命题的原命题为真,它的逆否命题一定为真.
4.下列说法 (1)四种命题中真命题的个数一定是偶数; (2) 若一个命题的逆命题是真命题,则它的否命题不一定是真命题
总结:
(1) 原命题为真,则其逆否命题一定为真。但其逆命题、否
命题不一定为真。
(2) 若其逆命题为真,则其否命题一定为真。但其原命题、 逆否命题不一定为真。
即:原命题与逆否命题的真假是等价的。 逆命题与否命题的真假是等价的。
ห้องสมุดไป่ตู้
③“全等三角形的面积相等”的否命题;
④“若ab≠0,则a≠0”的否命题. 其中真命题的个数是( A.0个 B. 1个
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2 2
否命题:已知 a,b 是实数,若 a+b 不是无理数,则 a,b 不都是无理数; 假 (此时两个数都不是无理数)
逆否命题:已知 a,b 是实数,若 a,b 不都是无理数,则 a+b 不是无理数; 假 (3)逆命题:若 x,y 全为零,则 x +y =0;真 否命题:若 x +y ≠0,则 x,y 不全为零;真 逆否命题:若 x,y 不全为零,则 x +y ≠0;真
2 2 2 2 2 2
3
评注: “全为零”的否定应该是“不全为零” ,而不是“全不为零”“都是” ; 的否定为“不都是” ,而不是“都不是”“均为”的否定是“不均为” ; 。注 意掌握一些关键词的否定。 (如图所示,x,y 全为零的否定即是它的补集, 不全为零。 )
x0 x=0 x=0 x0 y0 y0 y=0 y=0
课堂小结:
6
评注:真命题为:① ② ①逆命题为:三个内角为 60 的三角形为等边三角形; ②原命题为真,所以逆否命题为真; ③否命题为:若两个三角形不是全等三角形,则它们的面积不相等; ④否命题为:若 ab=0,则 a=0。 5.命题“若 x=3,则 x -9x+18=0”的逆命题,否命题和逆否命题中,假命 题的个数为( C ) A.0 个 B.1 个 C.2 个 D.3 个
否命题:当 x∈R 时,若 f(x)不过原点,则 f(x)不是奇函数; 真 逆否命题:当 x∈R 时,若 f(x)不是奇函数,则 f(x)不过原点。假 问题 1:由上面 3 个题目,你能总结出什么结论么?
1
一.四种命题之间的真假关系 (1)两个命题互为逆否命题,它们具有相同的真假性; (2)两个命题互为否命题或互为逆命题,它们的真假性没有关系。 课堂练习 1.若命题 p 的否命题为 r,命题 r 的逆命题为 s,则命题 p 的逆命题 t 与 s 的关系是( B ) A.互为逆命题 B.互为否命题 C.互为逆否命题 D.同一个命题
评注:正确的是: (3) (1) (1)真命题的个数为:0,2,4 个; (2)逆命题和否命题之间互为逆否命题,所以真假相同; (3)利用四种命题之间的关系; (4)不一定,因为它们之间真假没有必然联系; (5)错误,同第(2)命题的原理。 3.命题“两条对角线不相等的四边形不是平行四边形。”是命题“平行四 边形的两条对角线相等。”的( B ) A.逆命题 B.逆否命题 C.否命题 D.非四种命题关系
任课教师 教学目标:
白杰
授课班级
高二(9)、(10)班
授课日期
10.8
教学课题:四种命题的真假关系
1,正确理解四种命题之间的真假关系; 2,会应用它们之间的真假关系处理问题; 3,培养学生逻辑推理能力。 教学方法:讲授法、讲练结合、探究法、自学法 教学重点:正确理解四种命题之间的真假关系 教学难点:会应用它们之间的真假关系处理问题 教学用具:PPT 教学内容 师 生 活 动 复习回顾 1.四种命题的形式是什么? 2.四种命题的基本关系是什么? 引例 1:写出下列命题的逆命题,否命题和逆否命题,并判断它们的真假: (1)若 x<y,则 y>x; (2)若 a=0,则 ab=0; (3)当 x∈R 时,若 f(x)过原点,则 f(x)是奇函数。 解:(1)原命题:若 x<y,则 y>x; 逆命题:若 y>x,则 x<y; 否命题:若 x≥y,则 y≤x; 真 真 真 备注
逆否命题:若 y≤x,则 x≥y。 真 (2)原命题:若 a=0,则 ab=0; 逆命题:若 ab=0,则 a=0; 否命题:若 a≠0,则 ab≠0; 真 假 假
逆否命题:若 ab≠0,则 a≠0。 真 (3)原命题:当 x∈R 时,若 f(x)过原点,则 f(x)是奇函数; 逆命题:当 x∈R 时,若 f(x)是奇函数,则 f(x)过原点; 假 真
评注:利用四种命题之间的关系解答。 2.下列说法: (1)四种命题中真命题的个数一定是偶数; (2)若一个命题的逆命题是真命题,则它的否命题不一定是真命题; (3)逆命题与否命题之间是互为逆否关系; (4)若一个命题的逆否命题是假命题,则它的逆命题与否命题都是假命题; (5)一个命题的否命题为真,它的逆命题一定为假。 其中正确的个数有( B ) A.1 个 B.2 个 C.3 个 D.4 个
4
2 2 2 2 2 2 2

2
x +y >0, 这与已知条件矛盾,所以 x=y=0。 小结: (1)应用间接法证明的原理: 证明原命题的逆否命题是真命题。 (2)应用间接法证明的一般步骤: 求证:若 p 则 q。 ①假设原命题的结论不成立即┐q,作为逆否命题的条件; ②从逆否命题的条件┐q 出发进行一系列的推理,得到某个结论 m,此时 说明若┐q 则 m 一定是正确的,因为我们是经过推理的; ③若 m 与已知条件矛盾即 m=┐p,恰好就是原命题条件的否定,也就是 说我们得到的正确命题恰好是原命题的逆否命题,所以原命题正确。 (3) 适宜用反证法证明的数学命题: ①结论本身是以否定形式出现的命题; ②有关结论是以“至多„.”或“至少„”的形式出现的命题; ③关于唯一性,存在性的命题; ④结论的反面比原结论更具体更容易研究的命题。 例 1:求证:若 a>b>0,则 a > b 。 证明:假设 a 不大于 b ,那么 a < b ,或者 a = b 因为 a>b>0,所以 a < b (1) a < b 所以 a 所以 a<b; (2) a = b 所以 a=b。 这些都与已知条件 a>b>0 矛盾,所以 a > b 。 评述:矛盾的出现是在推理过程中与已知条件矛盾了。
评注:写成若 p 则 q 的形式。 4.下列命题: ①“等边三角形的三内角均为 60 ”的逆命题; ②“若 k>0,则方程 x +2x-k=0 有实根”的逆否命题; ③“全等三角形的面积相等”的否命题; ④“若 ab≠0,则 a≠0”的否命题.
2
2 o
其中真命题的个数是( C ) A.0 个 B.1 个 C.2 个 D.3 个
2 0
评注: (1)逆命题:若 x2-9x+18=0,则 x=3;假 (2)否命题:若 x≠3,则 x2-9x+18≠0;假 (3)逆否命题:若 x2-9x+18≠0,则 x≠3;真 6.写出下列命题的逆命题,否命题和逆否命题,并判断真假。 (1)若 m≤0 或 n≤0,则 m+n≤0; (2)已知 a,b 是实数,若 a+b 是无理数,则 a,b 都是无理数; (3)若 x +y =0,则 x,y 全为零。 答案: (1)逆命题:若 m+n≤0,则 m≤0 或 n≤0;真 否命题:若 m>0 且 n>0,则 m+n>0;真 逆否命题:若 m+n>0,则 m>0 且 n>0;假 (2)逆命题:已知 a,b 是实数,若 a,b 都是无理数,则 a+b 是无理数; 假 ( a 1 3; b 1 3 )
2
2
a< b
a 同时 b
a< b
b
说明: 1.上面的间接法就是以前的反证法; 2.针对若 p 则 q 的命题,利用反证法证明时,由┐q 推出┐p 很明显,也
5
很能说明反证法的原理就是逆否命题和原命题同真的原理; 3.但是对于一些诸如“证明 2 是无理数”这些命题,没有明显的若 p 则 q 的形式,也可以利用反证法证明,同时原理也是逆否命题的原理,只不 过我们看不到明显的条件和结论,此时我们将反证法的一般步骤可以推广 如下: 应用反证法证明的一般步骤: (1)假设命题的结论不成立即提出命题的否定; (2)进行一系列的推理; (3)在推理过程中出现下列情况中的一种: ①与已知条件矛盾; ②与定义,公理矛盾; ③与已知定理,公式矛盾; ④与假设自相矛盾。 (4)由于上述矛盾的出现,可以断言,原来的假定是错误的; (5)肯定原来命题的结论是正确的。
二.关键词的否定 关键词 大(小)于 是 全为 都是 有 任何 所有的 至少一个 至多一个 均为 p或q p且q 否定 不大(小)于 不是 不全为 不都是 无 某些 有一个 一个也没有 至少两个 不均为 ┐p 且┐q ┐p 或┐q
引例 2:证明:若 x +y =0,则 x=y=0。 分析:将“若 x +y =0,则 x=y=0”视为原命题,要证明原命题为真命题, 则可以证明它的逆否命题“若 x 和 y 至少有一个不等于 0,则 x +y ≠0”是 真命题,因此我们可以由“若 x 和 y 至少有一个不等于 0”出发,经过正 确的推理得到一个结论 m,此时逆否命题是我们经过严格推理得到的,因 此一定是正确的, m 与 x +y =0 矛盾的结论, 若 恰好我们得到的是逆否命题, 又因为逆否命题一定是正确的,所以原命题也正确。 证明:假设 x,y 至少有一个不等于 0,不妨设 x≠0,则 x >0,所以
相关文档
最新文档