排序方式: 共有41条查询结果,搜索用时 0 毫秒
41.
阎平连 《吕梁高等专科学校学报》2002,18(1):28-29
在数学题目的求解中 ,当直接证明一个命题感到困难 ,甚至不能证明时 ,我们可以采用反证法。所谓反证法 ,就是从否定结论 (作出相反判断 )出发 ,把相反的判断作为已知条件 ,在正确逻辑的推理下 ,导致逻辑矛盾 ,根据 (逻辑学 )矛盾律 ,得知想法判断是错误的 ,再根据 (逻辑学上的 )排中律 ,而肯定原命题的判断本身是正确的 ,其逻辑上的理论依据是形式逻辑中的两个基本规律———矛盾律和排中律。下面我们首先来谈谈反证法的证题步骤。反证法的步骤是 :1 )反设 :作出与求证的结论相反的假定。2 )归谬 :由反设出发 ,推出了与公理、定义、定理或题… 相似文献