「正证法」：修訂間差異
imported>氢氰酸 無編輯摘要 |
imported>氢氰酸 無編輯摘要 |
||
| 第5行： | 第5行： | ||
其基本步骤为：先选择一个命题，假设该命题正确，以该命题为基础进行推理，如果没有推出矛盾，则该命题是真命题。 | 其基本步骤为：先选择一个命题，假设该命题正确，以该命题为基础进行推理，如果没有推出矛盾，则该命题是真命题。 | ||
正证法与[[说不准原理]]同时使用可以完成许多重要结论的证明。 | 正证法与[[说不准原理]]同时使用可以完成许多重要结论的证明：哪怕推出一个与条件矛盾的命题，根据说不准原理，它们也同时为真，则该命题是真命题。 | ||
[[Category:超理理论]] | [[Category:超理理论]] | ||
[[Category:超理数学]] | [[Category:超理数学]] | ||
於 2024年4月29日 (一) 10:49 的最新修訂
正證法，是超理學一種重要證明方法。在超理數學中被廣泛使用，在其他領域也有應用。
其基本步驟為：先選擇一個命題，假設該命題正確，以該命題為基礎進行推理，如果沒有推出矛盾，則該命題是真命題。
正證法與說不準原理同時使用可以完成許多重要結論的證明：哪怕推出一個與條件矛盾的命題，根據說不準原理，它們也同時為真，則該命題是真命題。