「正证法」：修訂間差異
imported>氢氰酸 無編輯摘要 |
imported>氢氰酸 無編輯摘要 |
||
| 第5行： | 第5行： | ||
其基本步骤为：先选择一个命题，假设该命题正确，以该命题为基础进行推理，如果没有推出矛盾，则该命题是真命题。 | 其基本步骤为：先选择一个命题，假设该命题正确，以该命题为基础进行推理，如果没有推出矛盾，则该命题是真命题。 | ||
正证法与[[说不准原理]]同时使用可以完成许多重要结论的证明。 | 正证法与[[说不准原理]]同时使用可以完成许多重要结论的证明：哪怕推出一个与条件矛盾的命题，根据说不准原理，它们也同时为真，则该命题是真命题。 | ||
[[Category:超理理论]] | [[Category:超理理论]] | ||
[[Category:超理数学]] | [[Category:超理数学]] | ||