反证法的应用

数学命题的证明，从方法上说一般可分为直接证法与间接证法两大类，反证法就是一种比较常见而且相当重要的间接证法。     

反证法就是证原命题的逆否命题吗

读了“谈数学中反证法的应用”一文，觉得部分老师对反证法的认识存在误区，虽然平时都在用反证法，但对这种证法的逻辑等价式却一知半解．文中写道：“要证命题‘若A则B’正确（简记为A→B），途径之一是证与其等价的逆否命题（简记为B→A）正确．即从否定B出发，作出一系列正确、严密、合乎逻辑的推理，最后推出与A矛盾的结论，即原命题得证．用反证法证明命题成立的基本步骤可以简单地概括为‘否定——推理一反驳——肯定’四个步骤”．     

反证法在中考数学中的应用

所谓反证法,就是首先提出一个与原命题结论相反的假设,然后从假设出发,经过正确的推理,导出矛盾,从而否定假设,进而肯定原命题的一种方法.导出的矛盾主要有:与已知条件矛盾;与已知的公理、定理、定义、公式矛盾;与反设矛盾;自相矛盾.……     

一类m值逻辑函数Chrestenson谱的分解式及其应用

本文给出一类ｍ值逻辑函数Ｃｈｒｅｓｔｅｎｓｏｎ谱的分解式,并据此给出了环Ｚｍ上非线性弹性函数的一些新的构造方法。     

等腰三角形性质与判定的应用

1.复习提问师:前面我们研究了等腰三角形,请大家回顾,等腰三角形有哪些性质?生:等腰三角形的两条腰相等,两个底角相等,顶角的平分线、底边上的高、中线互相重合.师:判定一个三角形是等腰三角形的方法有哪些?生:有两条边相等或有两个角相等的三角形是等腰三角形.     

关于“命题的否定”之我见

一次听课,听到老师这样给学生小结:否命题与命题的否定不是一回事,否命题是将原命题的条件和结论同时否定,命题的否定只要把原命题的结论否定就可以了,例如"若x>3则x>1"的否命题是"若x≤3则x≤1",命题的否定是"若x>3则x≤1",课后笔者与授课老师交换了意见,认为这番小结一半正确,一半不正确,不料这位老师说,他是根据教学参考书上小结的.     

相关免疫逻辑函数的特征矩阵及其计数

本文定义了取值于任意抽象集合的逻辑函数的特征矩阵及其相关免疫性,用概率的方法研究了这类最一般的逻辑函数具有相关免疫性时,其特征矩阵的性质,由此给出了逻辑函数相关免疫的等价判别条件,据此给出了这类相关免疫逻辑函数的一种构造方法并对相关免疫逻辑函数的计数进行了研究,得到了一个一般性的下界.     

系统(￡)*n的逻辑性质及其应用

证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.     

剖析用简单的逻辑联结词联结命题的一些常见错误

在人教A版高中数学教材1—1和2—1常用逻辑用语一章中,发现一些参考资料上在解答用逻辑联结词“且”、“或”、“非”联结的命题时,出现一些错误答案．下面抄录原参考资料上的题目及其解答,并剖析其中错误的原因,同时给出正确的解答．     

Ramanujan循环和的推广及其应用

推广了Ramanujan循环和并提供了一个简单证明方法.也给出了结果的一些应用.     

抽象函数对称性质的证明及其应用

设抽象函数y=f(x)的定义域为R. ①若对任意x∈R恒有f(h+x)=f(k-x),则函数y=f(x)的图象关于直线x=h+R/2对称;     

经典推理模式的随机化研究及其应用(Ⅱ)

证明了D-逻辑度量空间中三种近似推理模式是等价的,指出了全体原子公式之集在D-逻辑度量空间中未必是全发散的.     

简易逻辑与函数及不等式的综合──以2012年北京文科卷14题为例

近年来,将简易逻辑与函数及不等式综合在一起的考题在高考中时有出现,且往往以小题压轴题的形式出现,这类题目已成为高考的热点及难点.这类试题知识覆盖面广,综合性强,灵活多样.从知识目标看能考查高中数学核心概念,从能力目标看能考查学生的分类讨论、数形结合、化归转化、分析问题及解决问题等能力.在推行高考命题以“能力立意”的今天此种类型倍受命题教师的青睐.     

基于正弦函数变换的优化GM(1,1)模型及其应用

研究了灰色预测模型的优化问题,通过将正弦函数变换与新陈代谢思想结合得到了一种新的灰色预测模型的优化方法,并且将方法运用到我国客运量的预测模型中,通过比较发现方法的预测精度更高.     

概括原理及其消除——一个完备的逻辑演算

无论集合论、λ换位演算、组合逻辑及逻辑(谓词演算)都由于无限制地使用概括原理而导致悖论,因而不能不对概括原理给以限制;然而加以限制以后又近于人工做作而不够自然,而且也变得复杂得多。本文指出,可以在一切方面用代入运算代替概括过程,从而概括原理可以根本废除,废除概括原理以后,不仅不会产生新的高级函词高级算子,而公理与推理过程也简洁得多,不受任何人工约定的限制。这样我们便得到一个既非常简洁又确实很完备的逻辑谓词演算,足以作为整个数学的基础。     

对“原命题与其逆否命题等价”证明的思考

对于“原命题与其逆否命题等价”这一结论,或许是出于控制教学难度的想法,高中数学教材中并没有给出具体的论证过程,而是采用通过几个实际的例子,归纳得出一般结论的做法．在具体的教学中,针对一些能力基础比较好的学生,很多时候教师还是希望能够对这个结论给出证明．不少教师采用了这样一种证明方法：     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

从割线斜率到切线斜率的不等价转化及其逻辑解读

自从导数进入中学教材以来,新的题目层出不穷.特别是一些有深厚背景、关联较多的题目,也被中学师生以简单的导数工具来解决,显得活泼新颖、别开生面.但是,其中的逻辑疏漏也时有发生.拉格朗日中值定理的误用,就是一个很典型的例子.     

化归转化思想方法在高中数学中的应用实践

化归转化思想是数学中的重要思想方法之一,高中数学中的许多定义、定理证明、例题及习题中都蕴含着化归转化思想方法.在数学教学中注意挖掘数学思想方法,关注数学思想方法的总结、提炼和展示,在学习数学中注意透过现象看本质,比单纯解答数学问题更有价值,影响也更深远.