反证法

摘要： 归谬法与反证法是逆向思维的集中体现,应用广泛.在浙江省数学高考卷中,每年均有部分试题渗透着归谬与反证思维.文章通过对高考试题的剖析,指出教师的教学定位要从"教方法"进一步提升到"教思维",加强学生基本活动经验的积累,形成自己的思维习惯.

摘要： 1街道反证法(The Streets:The Antithesis of Street Blocks)城市秋色中,霓虹初上。导航地图上大片的红色开始蔓延,路上的行人愈发易怒。深圳市深南大道上的通勤调度开始运作,路宽140m的街道上仍稍显拥挤。在路网密度不到5.2 km/km;的深圳"硅谷区"(深圳市高新技术产业园区,以下简称"高新园"),行人、自行车和电瓶车同向而行,大家都沉默地奔赴同一个目标——离开,回家。此时的深圳大学地铁站小时运载量将近3万人,地铁口前排着百米长队。整座城市都在躁动,唯有一步之隔的街区是一片死寂。

摘要： 1引言反证法属于间接论证的一种方法,是通过断定与论题相矛盾的判断的虚假来确立论题的真实性,在数学解题中也较为常用.在高中数学解题教学中,部分题目采用正面直接的方法通常难度较大、不易求解,还要耗费大量的时间与精力,极易影响学生参与解题的兴致与积极性,教师可指导他们应用反证法来解题,使其解题更为轻松,且有效改善个人思维水平.

摘要： 1概念剖析1?1定义反证法是从要证明结论的否定出发,以有关的定义、公理、定理为依据,结合命题的条件进行推理,直到推出矛盾,从而断定命题结论的否定不能成立,也就断定了命题成立.

摘要： 正难则反策略的本质是逆向思维.求解高考或模拟考试解答题中的某些把关试题时,正面处理有时不易使问题获解,此时,可以选择正难则反的策略,即利用逆向思维,从问题的反面入手攻克问题.常见的思维路径:一是把原命题等价转化成其逆否命题来处理,或者借助于原命题的逆命题来解决;二是利用反证法来推证.正难则反的策略,启示我们在遇到某些利用常规方法求解显得复杂烦琐、不易奏效的问题时,要另辟蹊径,使解题别开生面.

摘要： 1引言常见的数学证明方法有:综合法、分析法、反证法、数学归纳法等,它们是用来阐释数学命题真伪的依据,本文通过分析“演绎推理”的本质,来导出这些方法的合理性,并由此导出新的数学证明方法,简单来讲,“新数学证明法”的实质就是在不确定哪个为真的几个前提条件下,确保推出的结论为真的一种思想方法.

摘要： 说谎者悖论是最古老最有影响的一个悖论。关于说谎者悖论,主流的理论着重于对“自我指涉”和“真谓词”的分析。本文指出,自我指涉和真谓词虽然是说谎者悖论的明显的外部特征,却不是问题的要害。问题的要害是说谎者悖论里的一个隐蔽的假设。本文先通过考察悖论与反证法的关系给出一个有助于寻找隐蔽假设的一般原理,然后应用这个原理找出说谎者悖论里的隐蔽的假设,以解答说谎者悖论。提供有力证据的是一个新发现的“三卡悖论”,它证实该原理适用于说谎者悖论。按照这一原理,说谎者悖论与一个布尔方程无解的反证法有相同的假设,即“该方程有解”的假设,也即“存在变元的值满足该方程”的假设,只不过对说谎者悖论来说,这个假设是隐蔽的。于是,解答说谎者悖论的关键就是搞清楚这一假设所说的“变元”“值”“方程”“解”对说谎者悖论来说是什么意思。人们将惊讶这一假设在说谎者悖论里隐藏之深。同样的分析也给出了雅布罗(S.Yablo)悖论的解答。

摘要： 反证法又称为“逆证”,属于间接论证的一种方法,一般是通过断定与论题相矛盾的判断虚假来确立论题真实性的论证方法.反证法通过“由果溯因”的思维模式,从一些难以着手的数学问题中找到新的切入点.初中数学教师在引导学生进行解题的过程中要注重培养学生的逆向思维,拓展学生的数学视野.在解题训练中可根据具体题目指导学生按照以下流程运用论证法:第一步,提出论题;第二步,设定反论题,依据推理规则展开推理和演绎,证明反论题的虚假;第三步,根据排中律,既然反论题为假,则原论题是真.

摘要： 反证法不仅有利于提升逆向思维能力,而且有利于解决问题,发展学生推理素养.从反证法的逻辑基础及其适用条件和范围进一步梳理反证法,并探析它在教材与中考中的应用.

摘要： 数学具有高度抽象性、严密逻辑性、广泛应用性、多变性等特征.数学的多变性是小学数学教学中的关键因素,可以培养学生的逻辑能力与思维转变.数学不同于其他学科,其问题变化多端,不能用其他学科那种固有思维来理解,因此教师要引导学生在解题过程中对思维能力进行锻炼.我们在小学数学教学中对数学的变化开展深入研究,会发现反证法能够在小学数学解题过程中起到积极作用.

摘要： 反证法的理论根据是什么？怎样应用反证法？怎样的命题适合用反证法证明？本文拟就这些问题做点初步探讨，以期能够抛砖引玉。

摘要： 本文构造了一个不矛盾律普遍有效、排中律在一定范围内有效的命题演算系统PC5，证明了PC5的可靠性和完全性，并以PC5为逻辑基础阐明了反证法的适用范围等问题。

摘要： 以内含工字形型钢的SRC偏心受压柱的两个承载力计算公式为依据,建立此种构件的N~M关系,并绘制曲线,确定大小偏压分界点的位置,讨论得出对提高分界点有利的设计参数.最后用反证法和工程算例验证了讨论结果,可供工程设计采用.

摘要： 在西方哲学中的悠久传统中，怀疑论的挑战堪称是驱使我们对人类知识进行反思的原动力。怀疑论作为一种理性批判精神，其显著特点是通过系统的论证，对知识的可靠性和真理的客观性提出质疑。本文主要针对怀疑论关于“我们的信念整体具有普遍为假的可能性”论题，从戴维森式的知识观出发给出反驳。

摘要： 在西方哲学中的悠久传统中，怀疑论的挑战堪称是驱使我们对人类知识进行反思的原动力。怀疑论作为一种理性批判精神，其显著特点是通过系统的论证，对知识的可靠性和真理的客观性提出质疑。本文主要针对怀疑论关于“我们的信念整体具有普遍为假的可能性”论题，从戴维森式的知识观出发给出反驳。

摘要： 在西方哲学中的悠久传统中，怀疑论的挑战堪称是驱使我们对人类知识进行反思的原动力。怀疑论作为一种理性批判精神，其显著特点是通过系统的论证，对知识的可靠性和真理的客观性提出质疑。本文主要针对怀疑论关于“我们的信念整体具有普遍为假的可能性”论题，从戴维森式的知识观出发给出反驳。

摘要： 在西方哲学中的悠久传统中，怀疑论的挑战堪称是驱使我们对人类知识进行反思的原动力。怀疑论作为一种理性批判精神，其显著特点是通过系统的论证，对知识的可靠性和真理的客观性提出质疑。本文主要针对怀疑论关于“我们的信念整体具有普遍为假的可能性”论题，从戴维森式的知识观出发给出反驳。

摘要： 本发明公开了一种用于验证法兰连接密封性能的试验装置及验证方法。其中，试验装置包括：第一法兰和第二法兰，两法兰对接；压紧装置，对两法兰施加朝向两者对接处的压紧力；加压装置，内设试验流体，试验流体完全包裹两法兰的对接处并在对接处形成试验压力；测量装置，测量从两法兰对接处向内部泄漏的试验流体。验证方法包括：将两法兰对接；通过压紧装置对两法兰施加朝向两者对接处的压紧力；通过加压装置内的试验流体在两法兰对接处形成试验压力；通过测量装置测量从两法兰的对接处向内部泄漏的试验流体；得到两法兰对接处的泄漏率。本发明的技术方案通过模拟法兰连接在实际工作状况下的受力情况，使得对法兰连接密封性能的测量更加准确。

摘要： 本发明涉及一种直接利用直流电定量验证法拉第电磁感应定律的实验方法，实施步骤如下：首先准备实验器材：直流30V稳压电源1个，直流12V电源1个，滑动变阻器1个，其阻值范围为0Ω～200Ω，工作电流为1A，开关2个；指针式灵敏电流计1个，其精度10

摘要： 本发明公开了一种孔内岩芯空间方向定位装置，包括厚壁铜筒11后端装有高压风管接口5，所述高压风管接口5连接有高压风管9，厚壁铜筒11中设置标记液盛放盒6，所述标记液盛放盒6后端与高压风管接口5相连，所述标记液盛放盒6前端接有标记液输送管16，所述标记液输送管16末端装有标记液喷头17，所述标记液喷头17喷出“丰”字形防水定向标记，厚壁铜筒11后端还装有水平定向装置4。还公开了一种套孔应力解除法准确度的验证方法，该方法中采用波速分析法、差应变分析法和AE法测量的地应力测试结果与采用应力解除法测量的结果进行对比分析，若能从多个方面得到印证其一致性，则说明应力解除法测试结果的准确度得到验证。

摘要： 本发明公开了一种基于正反证据信度结构的多传感器目标识别方法，包括以下步骤：步骤一、依据各传感器的识别精度及识别结果生成正证据信度结构；步骤二、生成反证据信度结构；步骤三、依据正反证据信度结构分别与各目标类型的决策证据信度结构匹配生成各目标类型的正反质量指标；步骤四、依据步骤三的计算结果判断识别目标所属的类型。本发明基于多传感器识别，从正反两方面对证据信度结构中的信息展开分析，将正反证据信度结构与各目标类型的决策证据信度结构匹配生成各目标类型的正反质量指标，进而对目标类型进行识别，能够有效处理不确定信息，提高目标识别的准确率。

摘要： 本发明公开了一种具有防篡改唾液采集系统及反证系统的试剂盒，其目的是为了避免篡改采集到的唾液样本，并抽取采集到的唾液样本到另一容器以便进行反证。操作如下：致动杆(1)的上头部(3)可插入盛有液体(L)和棉块(A)的瓶(4)内，其中棉块(A)浸透有被检测人唾液。随后，瓶(4)将从容器口(12)插入容器(10)中，用下止动部(2)挤压棉块(A)，直至瓶(4)底部被压裂。当浸透液体(L)和被检测人唾液的棉块(A)再被挤压时，混合物会导流至试剂带的端部。与此同时，瓶(4)的瓶口(5)的突出边缘(6)及致动杆(1)的上头部(3)将恰好嵌入到容器(10)的中央通道(14)的阶梯部(13)的位置，从而避免篡改唾液样本。

摘要： 本发明公开了一种维医异常黏液质证侯、病证动物模型的造模方法、模型、反证和综合评价方法，属维吾尔医学男科领域，异常黏液质证侯动物模型的造模方法，成模后予以再分组、反证并综合评价。方法为将实验动物分为对照组和造模组；对照组于常规环境中以常规饮食饲养；造模组置于人工气候箱（设定温度6°C，湿度85%～95%）中，以湿寒性饲料饲养，对照组和造模组均随机饮食水；全程动态观测各组生物学表征与阴茎勃起功能、性行为学改变。本发明具有可靠的、可行的，并具有良好的重复性与科学性，并可用于维医异常黏液质证与异常黏液质阳痿病证的生物学基础研究和药物干预研究。

摘要： 本发明公开了一种基于移一交叉验证法的模型筛选方法。经典交叉验证法存在全部剔除验证集有用信息的缺陷。本发明根据样本集构建初始代理模型，逐个选择样本点作为验证集，剩下样本点作为初始训练集，并将验证集中的样本点沿随机正态分布移动得到虚拟验证点，将虚拟验证点的输入代入初始代理模型得到初始代理模型的虚拟响应，从而得到初始代理模型所预测的虚拟样本点；用虚拟样本点替换样本集中的样本点，得到更新后的虚拟训练集；构建虚拟代理模型，计算虚拟代理模型的移一交叉验证局部误差：遍历样本集中的各样本点后，对各移一交叉验证局部误差求均值，得到移一交叉验证全局误差。本发明极大限度保留了验证集信息，提高了模型筛选准确度。

摘要： 一种验证法拉第电磁感应定律的装置及其实验方法，包括直管、磁体、线圈和电流表；所述直管的材料包括导电材料中的非铁磁性材料；所述磁体包括一块以上相同的柱形磁体，底面形状和直管的管口形状相似，底面尺寸不小于直管的内管口尺寸的80%，磁体可在直管内从上管口落到下管口；所述线圈包括一根绝缘导线或中间有抽头的线圈或一个以上的独立线圈；所述线圈和电流表串联成闭合电路。所述电流表包括微安表或毫安表或毫伏表。本发明的突破点是直管采用新材料，应用电磁阻尼原理，使测量数据的可信度高，并解决了“磁体反弹”的难题，本发明装置器材少功能多，操作简单，采购方便，成本优势巨大，便于成果转化应用。

摘要： 本发明涉及人工智能技术领域，具体公开了一种基于交叉验证法的CNN模型识别准确率优化方法，包括如下步骤：采集数据并对数据进行预处理得到数据集；将数据集K折划分，K∈N；将K折划分后的数据集进行特征构建与融合，将数据集转换为特征向量或矩阵；构建CNN模型，将转换后的特征向量或矩阵输入，对CNN模型进行优化；将K折划分后的数据集导入优化后的CNN模型中进行训练并调节参数；将训练模型过后的识别结果可视化。本发明得到的模型识别准确率更为可靠，小数据集处理中能够避免因数据量少而产生的模型过拟合问题，可深入挖掘不同划分集合所蕴含的信息，对数据有更高的利用度，可以有效提高CNN识别模型的数据处理效率。

摘要： 本实用新型提供一种保证法兰平面的工装，包括：专用拼装平台；所述底板固定安装于所述专用拼装平台表面的左侧，所述样板固定安装于所述底板表面的右侧，所述样板表面的一圈均匀设置有多个螺纹孔，多个额所述螺纹孔的内部均设置有螺纹栓，所述专用拼装平台表面的右侧固定安装有垫块。本实用新型提供的一种保证法兰平面的工装，当进行法兰板和钢管之间进行焊接时利用底座和样板利用螺纹栓与法兰板之间进行固定后进行焊接有效消除钢管与法兰板、加劲板焊接所产生的焊接变形，保证法兰板的平面度符合规范要求，工装制做简单，制造成本较低，且可以重复利用，有效降低了施工难度，提高了生产效率，提升了经济效益。