精英家教网 > 高中数学 > 题目详情

直接从原命题的条件逐步推得命题成立的,这种证明称为_________(direct proof).

答案:直接证明
练习册系列答案
相关习题

科目:高中数学 来源:设计选修数学-1-2苏教版 苏教版 题型:022

不是直接从命题的条件逐步推得命题成立,这种不是直接证明的方法称为_________(indirect proof)._________就是一种常用的间接证明方法.

查看答案和解析>>

科目:高中数学 来源:设计选修数学-2-2苏教版 苏教版 题型:022

证明不是直接从原命题的条件逐步推得命题成立,这种不直接证明的方法通常称为________.如反证法,反证法的证明过程概括为:“________”“________”“________”“________”,

即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题)的过程.

查看答案和解析>>

科目:高中数学 来源:设计选修数学-2-2苏教版 苏教版 题型:022

证明是直接从原命题的条件逐步推得命题成立的,这种证明通常称为________,其一般形式为本题结论.其中从已知条件出发,以已知的定义、定理、公理为依据,逐步下推,直到推出要证明的结论为止,这种证明方法称为________,推证过程为已知条件…………结论.而从问题的结论出发,追溯导致结论成立的条件,逐步上溯直到使结论成立的条件和已知条件或已知事实吻合为止,这种证明方法常称为________,推证过程为…………

查看答案和解析>>

科目:高中数学 来源: 题型:

(1)一般地,用pq分别表示原命题的条件和结论,用分别表示pq的否定,于是四种命题的形式就是:?

原命题:若pq(p q);?

否命题:若          (     );?

逆命题:若          (     );?

逆否命题:若          (     ).?

(2)四种命题的关系?

  ?

注意:①一个命题和它的逆否命题同真假,而与它的其他三个命题的真假无此规律.?

②要严格区别命题的否定与否命题之间的差别.?

对一个命题进行否定,就要对正面叙述的词语进行否定,而否命题既否定条件又否定结论.例如,原命题“若∠A=∠B,则a=b”的否定形式为“若∠A=∠B,则ab”,而其否命题则为“若∠A≠∠B,则ab”.?

(3)反证法?

①定义:          .?

②使用反证法的条件.?

(ⅰ)直接证困难较大时;?

(ⅱ)当待证命题的结论中出现“不可能”“不是”“至少”“至多”“唯一”等限制性很强的条件时.?

③一般步骤:?

(ⅰ)          ;?

(ⅱ)          .

查看答案和解析>>

同步练习册答案