跳至內容

正證法

出自锑星百科
於 2024年4月12日 (五) 12:27 由 imported>Zzethld 所做的修訂 (创建页面,内容为“'''正证法''',是超理学一种重要证明方法。在超理数学中被广泛使用,在其他领域也有应用。 其基本步骤为:先选择一个命题,假设该命题正确,以该命题为基础进行推理,如果没有推出矛盾,则该命题是真命题。 正证法与说不准原理同时使用可以完成许多重要结论的证明。 Category:超理理论 Category:超理数学”)
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)

正證法,是超理學一種重要證明方法。在超理數學中被廣泛使用,在其他領域也有應用。

其基本步驟為:先選擇一個命題,假設該命題正確,以該命題為基礎進行推理,如果沒有推出矛盾,則該命題是真命題。

正證法與說不準原理同時使用可以完成許多重要結論的證明。