第五节数学证明与反驳一.PPT

* * 从逻辑结构方面分析，任何证明都由论题、论据、论证三部分组成。论题是指需要确定其真实性的命题；论据是指用来证明论题真实性所引用的那些已知真实的命题；论证是指根据论据进行一系列推理来确定论题真实性的过程。 第五节 数学证明与反驳 一、证明的意义及结构 ?证明是一个描述推理过程的命题序列，其中的命题或者是已知的前提，或者是由某些前提应用推理规则得到的结论。 二、证明和推理之间的联系和区别 证明和推理之间既有联系又有区别。证明过程其实也就是推理的过程，就是把论据作为推理的前提，应用正确的推理形式，推出论题的过程。一个论证可以只含一个推理，也可以包含一系列的推理；可以只用演绎推理，或只用归纳推理，也可以综合运用演绎推理和归纳推理。从本质上来说，证明就是推理，是一种特殊形式的推理。但是，具体分析起来，证明和推理又是不同的。 首先，从它们的结构上看，推理包含前提和结论两个部分，前提是已知的，结论是根据前提推出来的；证明由论题、论据、论证三部分组成，论题相当于推理的结论是己知的，论据相当于推论的前提，有些论据是事先不知道的，需要我们去探索的。 因此，它们的思维过程正好相反，这使得证明比推理要困难得多，复杂得多。其次，从它们的作用来看，推理只解决形式问题，对于前提和结论的真实性是管不了的。比如由类比推理和不完全归纳推理得到的结论，只具有或然的性质；而证明却要求论据必须是真实的，论题经