共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
反证法作为一种重要的数学方法,一般的教材都会把这个方法的步骤叙述清楚.例如,苏教版教材选修2-2[1]"间接证明"一节中指出:反证法的证明过程可以概括为"否定—推理—否定",即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题)的过程 相似文献
3.
4.
我们知道 ,反证法是一种间接证法 ,它通过证明反论题 (即否定原命题的结论而作出的判断 )为假从而断定原命题为真 .反证法证题一般分为三步 :反设 (否定结论 )、归谬 (推出矛盾 )、作结论 .下面我们举例说明如何推出矛盾 .1 与已知的公理、定理、定义相矛盾例 1 (1994年日本数学奥林匹克预选赛试题 )已知集合A ={ 0 ,1,2 ,3 ,4,5 ,6 ,7,8,9} ,满足下列条件① ,②的A的子集S有多少个 ?①S的元素有 5个 ;②S中任意两个元素和的个位数字恰好是 0到 9这十个整数 .解 这样的子集不存在 ,即满足条件的S的个数为 0 .事实上 ,若存在满足条… 相似文献
5.
6.
7.
所谓反证法 ,就是先假设命题的结论不成立 ,从结论的反面入手 ,进行正确的逻辑推理 ,导致结果与已知或学过的公理、定理相矛盾 ,从而得出结论的反面不成立 ,于是原结论成立 .反证法证明命题的一般步骤是 :(1)反设 :将结论的反面作为假设 ;(2 )归谬 :由“反设”出发 ,利用已知及已学过的公理、定理 ,推出与已知矛盾的结果 ;(3 )结论 :由矛盾断定“反设”错误 ,从而肯定命题的结论正确 .反证法适用于证明否定性命题、唯一性命题、“至少”、“至多”命题和某些逆命题等 .一般地说 ,凡是直接证法很难证明的命题都可考虑用反证法 .图 1例 1已知… 相似文献
8.
9.
五十年代 R.Bellmanl 提出最优化原理,奠定了动态规划的理论基础,并渗透到其它数学学科(如变分学、控制论),引起了算法研究的变革.然而,几十年来人们一直在寻求这一般原理的精确证明(参见[2]).这个证明的难点之一是最优策略的存在性.除此之外,在原理的运用上曾出现过种种模糊的认识.T.C.Hu和秦裕瑷甚至举甘:反例,说明其在某些情形不成立(不妨称之为动态规划“悖论”).因此,最优化原理的逻辑基础研究具有重要意义.作者曾在[6]中提出一种理论框架.本文将进一 相似文献
10.
11.
13.
14.
15.
16.
反证法是数学中,尤其是高等数学中常用的一种证明方法.它是与直接证法相对的间接证法的一种.由于逻辑学中也存在同样的相关概念,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系很有必要.本文试图讲清这些概念,并指出反证法不但是最重要的证明方法,而且同其它的证明方法一样也是进行知识积累和科学发现的源泉. 相似文献
17.
18.
19.