4) reduction to absurdity of probability
概率反证法
5) necessity reduction ad absurdum
必然反证法
6) probability reduction ad absurdum
或然反证法
1.
Necessity and probability reduction ad absurdum proofs are preliminarily analyzed, and the mathematical and modus operandi resulting in two proofs are dealt with.
对数学里存在的必然反证法和或然反证法进行了初步分析,同时对产生这两种反证法的数学思想和模式进行了描述。
补充资料：反证法
证明定理的一种方法，先提出和定理中的结论相反的假定，然后从这个假定中得出和已知条件相矛盾的结果来，这样就否定了原来的假定而肯定了定理。也叫归谬法。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条