定义与命题由刀豆文库小编整理，希望给你工作、学习、生活带来方便，猜你可能喜欢“定义与命题一”。
命题与证明
一般地，能清楚地规定某一名称或术语的意义的句子叫做该名称或术语的定义（definition）。一般地，对某一件事情作出正确或不正确的判断的句子叫做命题（statement）。
命题写成“如果„„那么„„”的形式，其中以“如果”开始的部分是条件（condition），“那么”后面的部分是结论（conclusion）。
正确的命题称为真命题（true statement）；不正确的命题称为假命题（false statement）。
数学中通常挑选一部分人类经过长期实践后公认为正确的命题，作为判断其他命题的依据，这些公认为正确的命题叫做公理。例如“两点之间线段最短”。用推理的方法判断为正确的命题叫做定理。前面学过的用推理的方法得到的那些用黑体字表述的图形的性质都可以作为定理。例如“三角形任何两边的和大于第三边”。
根据已知的定义、公理、定理，一步一步推得结论成立，这样的推理过程叫做证明。
注：不论证明的思路是从已知出发，还是从要证明的结论出发，在探索证明途径的思考过程时，都要充分利用已知条件，不断地尝试推出一些正确的结果，并鉴别其中哪些对完成证明是有用的。
在证明一个命题时，人们有时先假设命题不成立，从这样的假设出发，经过推理得出和已知条件矛盾，或者与定义、公理、定理等矛盾，从而得出假设命题不成立是错误的，即所求证的命题正确。这种证明方法叫做反证法（proof by contradiction）。
