编辑“︁正证法”︁
外观
该编辑可以被撤销。 请检查下面的对比以核实您想要撤销的内容,然后发布下面的更改以完成撤销。
最后版本 | 您的文本 | ||
第5行: | 第5行: | ||
其基本步骤为:先选择一个命题,假设该命题正确,以该命题为基础进行推理,如果没有推出矛盾,则该命题是真命题。 | 其基本步骤为:先选择一个命题,假设该命题正确,以该命题为基础进行推理,如果没有推出矛盾,则该命题是真命题。 | ||
正证法与[[说不准原理]]同时使用可以完成许多重要结论的证明 | 正证法与[[说不准原理]]同时使用可以完成许多重要结论的证明。 | ||
[[Category:超理理论]] | [[Category:超理理论]] | ||
[[Category:超理数学]] | [[Category:超理数学]] |