反证法，关、系、关系，真（符合事实）、假（不符合事实）
欧几里得75、反证法，关、系、关系，真（符合事实）、假（不符合事实）
反证法的论证过程如下：
先提出论题；
然后设定反论题，并依据推理规则进行推演，证明反论题的虚假；
最后根据排中律，既然反论题为假，原论题便是真的。
…反、证、法、反证法：见《欧几里得72》…
…论、题、论题：见《欧几里得71》…
反论题：与原论题具有矛盾关系的论题。如果原论题为判断“p”，那么，反论题就是判断“非p”。在论证中，可以设立反论题，通过确定反论题的虚假来论证原论题的真实性。
“这里运用了排中律，”中学生说，“根据排中律，互相矛盾的两论题必有一真。”
“反论题为假，那么原论题为真。”中学生最后说。
…矛、盾、矛盾：见《欧几里得72》…
…关：最早见于金文，原为会意字，从门，门内有闩（shuān）。小篆（zhuàn）变为形声字，从门，从丱（guàn）。南北朝以来的俗字，曾把繁体字“关”（關）中间的部分简作“关”。近代民间又将外面的“门”省略，写作“关”。《简化字总表》采用了这种写法。
本义是门闩。引申为关门。由关门的关，引申为关口。人体的各部位，常以关名，即关节。还可指机械的发动处。后起意义还有牵连，涉及等。
字义：1.使开着的物体合拢：～窗户。把抽屉～上。
2.使机器等停止运转；使电气装置结束工作状态：～机。～灯。～电视。
3.放在里面不使出来：鸟儿～在笼子里。监狱是～犯人的。
4.（企业等）倒闭；歇业：有一年，镇上～了好几家店铺。
5.古代在交通险要或边境出入的地方设置的守卫处所：～口。～防。山海～。嘉峪～。我的责任就是不让废品混过～去。
6.城门外附近的地区：城～。北～。～厢。
7.门闩：门插～儿。斩～落锁。
8.货物出口和进口查验收税的地方：海～。～税。
9.比喻重要的转折点或不容易度过的一段时间：难～。只要突破这一～，就好办了…
[…会：理解；懂得：体～。误～。心领神～。只可意～，不可言传…
…意：意思：来～…
…会意：造字法之一。会意是说字的整体的意义由部分的意义合成，如“信”字。“人言为信”，“信”字由“人”字和“言”字合成，表示人说的话有信用…
…会意字：指用两个及两个以上的独体汉字，根据各自的含义所组合成的一个新汉字，这种造字法就叫作会意。用会意造字法造出的汉字就是会意字…
…形声：一种造字法…是说字由“形”和“声”两部分合成，形旁和全字的意义有关，声旁和全字的读音有关。如由形旁“氵（水）”和声旁“工、可”分别合成“江、河”…
…形声字：用形声造字法造出来的字…]
…系：见《欧几里得25》…
…关系：1.事物之间相互作用、相互影响的状态：正确处理科学技术普及和提高的～。这个电门跟那盏灯没有～。
2.人和人或人和事物之间的某种性质的联系：拉～。～户。夫妻～。军民～。社会～。
3.对有关事物的影响或重要性；值得注意的地方（常跟“没有、有”连用）：没有～，修理修理照样用。
4.泛指原因、条件等：由于时间～，暂时谈到这里为止。
5.表明有某种组织关系的证件：随身带上团的～。
6.关联；牵涉：石油是～到国计民生的重要物资…
（…电门：电器上用以接通或截断电路的装置。俗称开关…）
…真：真实…见《欧几里得16》…
…真实：与事实相符；不假：～情况。～的感情…见《欧几里得57》…
…
…假：不真实的；伪造的；人造的（跟“真”相对）：～话。～发。～山。～证件。～仁～义…见《欧几里得73》…
…不真实：不符合事实…
“‘真实’是‘符合事实’，‘不真实’就是‘不符合事实’。”中学生说。
“真，可以简单的理解为‘符合事实’；假，可以简单的理解为‘不符合事实’。”中学生最后说。
…推、理、推理：见《欧几里得12》…
…演、推演：见《欧几里得14》…
…排、中、律、排中律：见《欧几里得72、74》…
在进行反证中，只有与论题相矛盾的判断才能作反论题。
反证法中的重要环节是确定反论题的虚假，常常要使用归谬（miù）法。
…判、断、判断：见《欧几里得70、71》…
…归谬法：一种反驳方法。先假定被反驳的观点是正确的，再从它推出明显荒谬的结论，从而证明它是错误的…
反证法是一种有效的解释方法，特别是在进行正面的直接论证或反驳比较困难时，用反证法会收到更好的效果。
牛顿曾经说过：“反证法是数学家最精当的武器之一。”反证法常用来证明正面证明有困难，而命题的否定比较浅显的题目，（对这种题目使用反证法）问题可能解决得十分干脆。
“欧几里德（Euclid Alexandra）：生活在亚历山大城，约前330～约前275，是古希腊最享有盛名的数学家。
请看下集《欧几里得76、数学逻辑体系的起点，逻辑关系，反证法是可信的》”
若不知晓历史，便看不清未来
欢迎关注哔哩号“中国崛起呀”
