词条 | 反证法 |
释义 | § 定义 适用范围:证明一些命题,且正面证明有困难,情况多或复杂,而否定则比较浅显 § 具体方法(E.G) 命题r=在C下,若A则B 反证:若A则¬B 证明¬B与A的矛盾 举例:欲证“若P则Q”为真命题,从否定其结论即“非Q”出发,经过正确的逻辑推理导出矛盾,从而“非Q”为假,即原命题为真,这样的证明方法称为反证法, 先提出和定理中的结论相反的假定,然后从这个假定中得出和已知条件相矛盾的结果来。 |
随便看 |
百科全书收录594082条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。