【摘 要】
：
反证法是一种重要的间接证明方法,它是通过证命题结论的反面是假的,从而肯定结论是真实的。其具体过程是:首先否定结论,即假定结论的反面为真;由结论的反面经过正确的逻辑推
论文部分内容阅读
反证法是一种重要的间接证明方法,它是通过证命题结论的反面是假的,从而肯定结论是真实的。其具体过程是:首先否定结论,即假定结论的反面为真;由结论的反面经过正确的逻辑推理,得到一个与临时假定,或与原题设,或与某公理、某定义、某定理等相矛盾的结果,从而断定结论的反面不真;最后,根据排中律肯定命题正确。我们讨论,究竟什么样的命题适宜于用反证法呢?下面我们归纳十二种类型的问题,分别来研究。
其他文献
光纤通道(Fiber Channel)网络具有低延时、高带宽、高可靠性等特点,非常适合于对数据传输带宽和速率有较高要求的综合式航空电子系统。为了解决航空电子系统FC网络测试环境中
在小学英语教学过程中,通过创设教学情境,能够使学生更好地感悟英语语言,在具体的情境之中应用英语语言会取得意想不到的学习效果。
循环结构是高级计算机语言中的重要结构，由于语句跳转和变量频繁变化使得循环结构成为程序设计语言教学的难点，学生难于从循环结构中分析出正确的结果。针对该问题，提出一种循环
随着时代的发展与国家的进步,学生基础学习能力的提升受到了极大的重视。其中,小学数学教学中学生问题意识的发展,是当前教学任务中十分重要的一环。本文从问题的指引、情景
《小学语文课程标准指》指出:“识字写字是阅读和写作的基础。”写字是基础中的基础;是语文学习的基础;是学习语文这门学科的起点;更是其他学科的奠基。在整个教学中都有着不
多径路由协议可以同时使用多条路径传输数据，减少端到端延迟并提高吞吐量。然而，多条路径之间的干扰作用可能会对网络的整体性能造成影响，使网络无法实现预期的性能提升。提出了
“红杏枝头春意闹”这是人们极为欣赏的诗句。王国维曾十分赞叹地说:“着一‘闹’字,境界全出。”确实给人以清新悦目、传神入化、妙笔生华之感。也有人会以为“不通”,李渔
基层农业统计工作在完善的过程中,需要强化管理,改善现有的调研工作力度,提高人员的综合素质,以此,从基础上改善工业统计工作的现有状态,让我国的农业经济得到可持续性发展。
大规模草地场景的建模及实时绘制很难满足草体的逼真性以及实时性。针对以上问题,文中提出了在风场作用下基于GPU加速的大规模草地场景动态模拟方法。为真实地绘制大规模草地场景的动态效果,利用基于布告板的改进方法,建立了运算简单、草体茂盛效果真实的草体模型;同时,文中针对草体随风摆动的视觉效果设计出相应的数学模型,并利用可编程GPU对场景进行视觉效果优化。实验表明,该方法不仅能够绘制出大规模草体的逼真效果
教育是培养有文化科学知识并具有解决实际问题能力的智能型全面人才。语文教学改革必须从语文的特点出发,培养学生的学习兴趣,提高学生的听、说、读、写能力。写作能力的培养