2.1 命题、定理、定义.docx

2.1命题、定理、定义

课标要求1.能结合实例，判断所给语句是不是命题.2.能找出命题的条件与结论，并判断命题的真假.

一、命题

1.思考(1)观察式子“x3”，这个式子一定成立吗？

提示不一定成立.当x＝0时它成立；当x＝4时它不成立，随x的变化而变化，有时成立，有时不成立.

(2)下列语句的表述形式有什么特点？你能判断它们的真假吗？

①若直线a∥b，则直线a和直线b无公共点；

②2＋4＝7；

③平行于同一直线的两条不同直线平行；

④若x2＝1，则x＝1.

提示都为陈述句，①③为真，②④为假.

2.填空将可判断真假的陈述句叫作命题.数学中，许多命题可表示为“如果p，那么q”或“若p，则q”的形式，其中p叫作命题的条件，q叫作命题的结论.

温馨提醒一个语句是命题应具备的两个要素

(1)陈述句：一般地，疑问句、祈使句、感叹句等都不是命题.例如，疑问句“a是无理数吗？”；祈使句“求证：π是无理数”；感叹句“今天的天气真好啊！”等都不是命题.

(2)能判断真假：不能判断真假的就不是命题.

这两个条件缺一不可.

3.做一做判断下列语句是不是命题.

①今天天气如何？②这里景色多美啊！

③x4.④－2不是整数.⑤43.

提示①不是(疑问句)②不是(感叹句)③不是(无法判断真假)④是(否定陈述句)

⑤是(肯定陈述句)

二、定理、定义

1.思考(1)以前学习了很多定理、推论，这些定理、推论是命题吗？

提示这些定理、推论是经过推理论证的正确结论，又是以陈述句的形式表述的，是命题.

(2)公理是真命题吗？

提示在一个命题系统中，一个命题的真实性已经由人类实践所证实而被认为不需要证明，并作为证明其他命题的依据，这样的真命题就是公理.因而公理是真命题，不需要证明.

2.填空(1)有些已经被证明为真的命题可以作为推理的依据而直接使用，一般称之为定理.

(2)定义是对某些对象标明符号、指明称谓，或者揭示所研究问题中对象的内涵.

温馨提醒数学中定理和命题的区别

数学中的定义、定理、公式、公理都是命题，但命题与定理是有区别的，命题有真假之分，而定理都是真的.

3.做一做判断下列命题的真假：

(1)能被6整除的整数一定能被3整除；

(2)若ab，则eq\f(1,a)eq\f(1,b)；

(3)二次函数的图象是一条抛物线；

(4)有两个内角等于45°的三角形是等腰直角三角形.

解(1)真.(2)假.(3)真.(4)真.

题型一命题的判断

例1判断下列语句是否是命题，若不是，说明理由.

(1)奇数的平方仍是奇数；

(2)两条对角线互相垂直的四边形是菱形；

(3)所有的质数都是奇数；

(4)5x4x；

(5)若x∈R，则x2＋4x＋70；

(6)未来是多么美好啊！

(7)你是高二的学生吗？

(8)若x＋y是有理数，则x，y都是有理数.

解(1)是命题.

(2)是命题.

(3)是命题.

(4)不是命题.因为x是未知数，不能判断真假.

(5)是命题.

(6)是感叹句，不涉及真假，不是命题.

(7)是疑问句，不涉及真假，不是命题.

(8)是命题.

思维升华并不是所有的语句都是命题，只有能判断真假的陈述句才是命题.命题首先是“陈述句”，其他语句如疑问句、祈使句、感叹句等一般都不是命题；其次是“能判断真假”，不能判断真假的陈述句不是命题，如“x≥2”、“小高的个子很高”等都不能判断真假，故都不是命题.因此，判断一个语句是否为命题，关键有两点：①是否为陈述句；②能否判断真假.

训练1下列语句是否是命题？若不是，说明理由.

(1)x≥16；

(2)x＝2或x＝3是方程x2－5x＋6＝0的根；

(3)空集是任何非空集合的真子集；

(4)一次函数是增函数吗？

解(1)不是命题.因为没有给定变量x的值，无法确定其真假.

(2)是命题.

(3)是命题.

(4)不是命题.因为是疑问句无法判断真假.

题型二命题的条件与结论

例2将下列命题改写成“若p，则q”的形式.

(1)在△ABC中，大角对大边；

(2)矩形的对角线互相垂直；

(3)相等的两个角的正弦值相等；

(4)等底等高的两个三角形是全等三角形.

解(1)在△ABC中，若∠A∠B，

则BCAC.

(2)若一个四边形是矩形，则这个四边形的对角线互相垂直.

(3)若∠A＝∠B，则sinA＝sinB.

(4)若两个三角形等底等高，则这两个三角形全等.

思维升华命题“若p，则q”形式是由条件p和结论q组成的，在写命题时为了使句子更通顺，可以适当地添加一些词语，但不能改变条件和结论.

训练2指出下列命题中的条件p和结论q.

(1)若x＋y＝0，则x，y互为相反数；

(2)如果x∈A，则x∈A∩B；

(3)当x＝2时，x2＋x－6＝0.

解(1)p：x＋y＝0，q：x，