反证法

fǎn zhèng fǎ [ fan zheng fa]
繁体 反證法
注音 ㄈㄢˇ ㄓㄥˋ ㄈㄚˇ
词性 名词

词语释义

证明定理的一种方法,先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。

词语解释

  1. 证明定理的一种方法。先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。

引证解释

⒈ 证明定理的一种方法。先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来,这样就否定了原来的假定而肯定了定理。也叫归谬法。

反证法的国语词典

一种证明定理的方法。先提出和定理中的结论相反的假定,然后从这假定中得出和已知条件相矛盾的结果来,这样就否定原来的假定而肯定了定理,称为「反证法」。

反证法的网络释义

反证法

  • 反证法是间接论证的方法之一。亦称“逆证”。是通过断定与论题相矛盾的判断(即反论题)的虚假来确立论题的真实性的论证方法。反证法的论证过程如下:首先提出论题:然后设定反论题,并依据推理规则进行推演,证明反论题的虚假;最后根据排中律,既然反论题为假,原论题便是真的。在进行反证中,只有与论题相矛盾的判断才能作为反论题,论题的反对判断是不能作为反论题的,因为具有反对关系的两个判断可以同时为假。反证法中的重要环节是确定反论题的虚假,常常要使用归谬法。反证法是一种有效的解释方法,特别是在进行正面的直接论证或反驳比较困难时,用反证法会收到更好的效果。
  • 反证法造句

    著名古希腊数学家海帕修斯依靠反证法对的无理性的发现,导致了数学史上第一次数学危机。
    文中先从什么是反证法着手,其中详细的叙述了反证法证题的一般步骤,如:反设,归谬,结论。
    反证法是数学中,尤其是高等数学中常用的一种证明方法。
    反证法是一种简明实用、间接的数学证明方法,也是一种重要的数学思想。
    可以说反证法为数学所建立的功勋是不可磨灭的。
    反证法是一种重要的证明方法,它在数学命题的证明中有直接证法所起不到的作用。
    通过对其采用反证法和图解法以及在实际制管生产中的验证,证明此经验公式对于成型器内压辊斜置小辊辊型设计是完全适用的。
    反证法不能用反定理来证明。
    反证法是一种间接的数学证明方法,也是一种重要的数学思想,同时它在中学数学证明中有着广泛的适用范围。
    没人能用反证法或者重造历史来说服大众——说明某事也许会发生。
    在沃尔特·布洛克的反证法中,一位法官决定一个男人是不是偷了一个女人的钱包,必须通过询问双方愿意出多少钱来买它。
    本文简述了反证法的定义,逻辑原理和解题步骤。
    闹明反证法的逻辑原理,探索其在中学数学中的应用。
    对反事实假设复句的逻辑分析就是要揭示出它所蕴涵的逻辑思维形式,即差异推理(求异法)、反证法和比喻推理。
    用反证法证明在负绝对温度下热力学第二定律的开尔文表述和克劳修斯表述等效。
    同时,通过简明反证法就上述观点给出了一种简单的证明。
    在另外的条件下,通过用反证法证明了该系统的正周期解不存在。
    着重以例题的形式详细阐述了反证法在中学数学证明题中的应用和适应的评述。
    基于具有同构关系的对应点无限衍生技术,采用反证法证明了这个充分必要条件的成立。
    第四部分对反证法的种类以及运用反证法时所导致矛盾的类型都用举例的方式一一详细的分析和介绍了。

    汉字详情

    fǎn [fan]
    部首: 228
    笔画: 4
    五笔: RCI
    五行:
    姓名学:
    仓颉: HE
    四角: 72247

    详细解释

    动词

    (1) (象形。甲骨文字形,从又从厂。“厂”音 hǎn。本义:手心翻转)

    (2) 同本义。通“翻”。覆,倾倒

    反,覆也。——《说文》

    以齐王,由反手也。——《孟子·公孙丑上》

    何以知其不反水浆邪?——《汉书·张安世传》

    (3) 反覆

    安反侧于万物。——南朝梁· 丘迟《与陈伯之书》

    不思其反。——《诗·卫风·氓》

    成反复自念。——《聊斋志异·促织》

    (4) 又如:辗转反侧;反易(颠倒);反风(风向倒转)

    (5) 通“返”。返回;回归

    使子路反见之。——《论语·微子》

    夫迷途知反,往哲是与。——南朝梁· 丘迟《与陈伯之书》

    至竟而反。——《战国策·卫策》

    三年而反。——《墨子·鲁问》

    旬有五日而后反。——《庄子·逍遥游》

    经纶世务者,窥谷忘反。——吴均《与朱元思书》

    今日往而不反者,竖子也!”——《战国策·燕策》

    则盍反其本矣。——《孟子·梁惠王上》

    (6) 又如:反意(返归的念头);反国(归国);反真(返归淳朴);反根(返回本原)

    (7) 未能遵守,违背

    天反时为灾,地物为妖,民反德为乱。——《左传》

    (8) 又如:反背(背叛);反德(违背事物的准则);反道(违反正道);反情(违反人情);反古(违反古训)

    (9) 往返于…之间

    寒暑易节始一反焉。——《列子·汤问》

    (10) 又如:反往(往返);反报(往还,反复)

    (11) 反叛;造反

    上官桀子安与 桑弘羊及 燕主、 盖主谋反。——《汉书·李广苏建传》

    日夜望将军至,岂敢反乎!——《史记·项羽本纪》

    (12) 又如:反上(背叛君主);反天(造反);反心(背叛之心);反外(背叛,离异)

    (13) 反省

    知不足,然后能自反。——《礼记·学礼》

    (14) 又如:反情(内省);反听(自我省察);反观(反省);反躬自问(反问自己)

    (15) 归还;送还

    (16) 又如:反籍(归还天子之位);反璧(归还璧玉;表示不贪取财宝)

    (17) 回报;复命 。如:反始(报答祖先);反命(复命)

    (18) 类推

    举一隅,不以三隅反,则不复也。——《论语·述而》

    (19) 又如:反隅(比喻类推。能由此而知彼);反惑(释疑)

    (20) 反对 。如:反迕(不顺从);反拨(犹言反抗;抵抗)

    (21) 报复 。如:反把(反扑);反报(报复怨仇);反杀(报杀人之仇而杀人)

    (22) 通“贩”( fàn)。贱买而贵卖

    形容词

    (1) 相反的;对立的。与“正”相对

    君子成人之美,不成人之恶,小人反是。——《论语·颜渊》

    非务相反也,时势异也。——《吕氏春秋·察今》

    然而成败异变,功业相反也。——汉· 贾谊《过秦论》

    (2) 又如:适得其反;反心内照(反过来对照一下自己);反抄耳光(反手巴掌);反斜面;反函数;反定理;反科学;反义

    副词

    (1) 反而;相反

    反以我为讎。——《诗·邶风·谷风》

    动而见尤,欲益反损。——汉· 司马迁《报任安书》

    今其智乃反不能及,其可怪也欤。——唐· 韩愈《师说》

    情罪重者反出在外。——清· 方苞《狱中杂记》

    信知生男恶,反是生女好。——唐· 杜甫《兵车行》

    (2) 又如:反且(反而)

    名词

    (1) 反革命分子的简称 。如:肃反;三反五反

    (2) 姓

    英文翻译

    reverse, opposite, contrary, anti

    方言集汇

    ◎ 粤语:faan1 faan2
    ◎ 客家话:[台湾四县腔] fan3 pon1 [梅县腔] fan3 [东莞腔] fan3 [客英字典] fan3 [陆丰腔] fan3 [客语拼音字汇] fan3 [宝安腔] fan3 [沙头角腔] fan3 [海陆丰腔] fan3 pon1
    ◎ 潮州话:huang2 (húang)「潮州」huêng2 (húeng 旧时:húan)

    宋本广韵

    廣韻目次:上平二十二元
    小韻反切聲母韻母聲調平水韻等呼韻攝韻部国际音标罗马字
    孚袁元合平聲合口三等pʰĭwɐnphyan/phvan
    zhèng [zheng]
    部首: 226
    笔画: 7
    五笔: YGHG
    五行:
    姓名学: 常用字
    仓颉: IVMYM
    四角: 31711

    详细解释

    动词

    (1) 谏正

    证,谏也。从言,正声。——《说文》

    士尉以证靖郭君, 靖郭君不听。——《战国策·齐策》。 高诱注:“证,谏也。”

    (2) 又如:证谏(直言规劝)

    名词

    (1) 通“症”。病症

    然后先生之言,为思陵对证之药也。—— 清· 黄宗羲《子刘子行状》

    (2) 假借为“徵”。今亦用为證验字。证据

    索证正不在远。——赫胥黎著、 严复译《天演论》

    动词

    (1) (形声。从言,正声。繁体为“登”声。本义:告发)

    (2) 同本义

    證,告也。从言,登声。——《说文》

    其父攘羊,而子证之。——《论语·子路》

    (3) 又如:证父(告发父亲)

    (4) 谏诤。 直爽地说出人的过错,劝人改正

    愎过自用,不可证移。——《吕氏春秋·巫徒》

    (5) 验证;证实

    所以證之而不远。——《楚辞·惜诵》。注:“验也。”

    而胗独证据其事。——《后汉书·缪肜传》

    援古证今。——清· 黄宗羲《柳敬亭传》

    (6) 又如: 证占(验证);证验(验证);证类(以同类事物作证);证审(验证审察);证察(考证审察)

    (7) 佛教用语。参悟,修行得道

    禅师后证果,居于林虑山。—— 唐· 张鷟《朝野佥载》

    (8) 又如:证果(修得妙道);证圣(证入圣果);证悟(修行得道);证业(证悟业果)

    名词

    (1) 证据,凭据

    慎用六證。——《大戴礼记·文王官人》

    罪无申证,狱不讯鞫。——《后汉书》

    (2) 又如:证明师(起到证据作用的人或物);证左(指当时在现场亲知亲见其事,可以证明实际情形的人)

    (3) 证件;证书 。如:工作证;身分证;出生证;健康证

    英文翻译

    prove, confirm, verify; proof

    方言集汇

    ◎ 粤语:zing3

    宋本广韵

    [fa]
    部首: 331
    笔画: 8
    五笔: IFCY
    五行:
    吉凶:
    姓名学: 姓,常用字,多用男性
    仓颉: EGI
    四角: 34132

    详细解释

    名词

    (1) (会意。从“水”,表示法律、法度公平如水;从“廌”( zhì),即解廌,神话传说中的一种神兽,据说,它能辨别曲直,在审理案件时,它能用角去触理曲的人。基本义:刑法;法律;法度)

    (2) 同基本义

    灋,刑也。平之如水。从水,廌所以触不直者去之,从去,会意。——《说文》

    利用刑人,以正法也。——《易·蒙》

    惟作五虐之刑曰法。——《书·吕刑》

    法者,刑罚也。所以禁强暴也。——《盐铁论·诏圣》

    杀戮禁诛谓之法。——《管子·心术》

    礼者禁于将然之前,而法者禁于已然之后。——《大戴礼记》

    失期,法当斩。——《史记·陈涉世家》

    故治国无法则乱,守法而弗度则悖。——《吕氏春秋·察今》

    (3) 又

    法虽今而在。

    (4) 又如:合法;犯法;法禁(刑法和禁令)

    (5) 法令;规章;制度

    汉法令非行也。——汉· 贾谊《治安策》

    (6) 又如:法日(制度规定的日子)

    (7) 标准;模式

    匹夫而为百世师,一言而为天下法。——宋· 苏轼《潮州韩文公庙碑》

    (8) 又如:法戒(楷式和监戒)

    (9) 方法;办法

    凡用兵之法,全国为上。——《孙子·九变》

    其法,用胶泥刻字。——宋· 沈括《梦溪笔谈·活板》

    古法采草药多用二月八月。——《梦溪笔谈·采草药》

    (10) 又如:用法;分类法;法套(办法);法儿(法子;办法)

    (11) 法拉,电容的MKS制实用单位,等于电容器极板上充以1库仑电量后两板间的电压为1伏特时的电容

    (12) 尊称佛家的事物

    文少保亦以悟大光明法蝉脱。—— 清· 全祖望《梅花岭记》

    (13) 又如:法施(以佛法度人);法嗣(佛教称继承衣钵的弟子为法嗣。后亦泛指继承人);法界(佛教指整个现象界);法华(佛经名。《妙法莲华经》的简称。佛教主要经典之一)

    (14) 中国战国时期一重要学派名

    杂家者流,盖出于议官。兼儒、墨,合名、法。——《汉书》

    (15) 法术,即用念咒、画符等胜敌或驱邪的迷信手法 。如:仗剑作法

    (16) 法国的简称

    余闻法人好胜。—— 清· 薛福成《观巴黎油画记》

    (17) 姓

    动词

    (1) 合法

    其于诸侯之求索也,法则听之,不法则距之。——《韩非子·八奸》

    (2) 效法

    则文王不足法与?——《孟子·公孙丑上》

    不期修古,不法常可。——《韩非子·五蠹》

    法其所以为法。——《吕氏春秋·察今》

    垂诸文而为后世法。——唐· 韩愈《答李翊书》

    (3) 又如:法常可(效法通常的做法。常可,指旧制度);法天(效法自然和天道);法古(效法古代);法循(效法遵循)

    (4) 守法

    夕受而不法,朝斥之矣。——柳宗元《封建论》

    (5) 依法处治

    将法太子。——《史记·商君列传》

    英文翻译

    law, rule, regulation, statute; France, French

    方言集汇

    ◎ 粤语:faat3
    ◎ 客家话:[海陆丰腔] fap7 [梅县腔] fap7 [台湾四县腔] fap7 [客英字典] fap7 [陆丰腔] fap7 [客语拼音字汇] fab5 [沙头角腔] fap7 [东莞腔] fap7 [宝安腔] fap7
    ◎ 潮州话:huap

    宋本广韵

    廣韻目次:入三十四乏
    小韻反切聲母韻母聲調平水韻等呼韻攝韻部国际音标罗马字
    方乏入聲合口三等pĭwɐppyap/pvap