出处:哲学卷 • 逻 辑 学 • 传统逻辑
词条 | 反证法 |
释义 | 反证法 反证法 由确定和论题相矛盾的命题之假来确定论题之真的证明方法。间接证明的一种。确定和论题相矛盾的命题之假,可用各种方法,如用归谬法,则这种反证法也就叫归谬法。 出处:哲学卷 • 逻 辑 学 • 传统逻辑 反证法 间接证明的一种。欲由某些前提推出结论A,不是直接由这些前提(应用推理规则)推出结论,而是先假定A不成立,即假定7A(A的否定)成立,然后推出7A与那些已知的前提是不相容的,由此证明A成立。在数学和逻辑的研究中常用反证法。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。