reductio

The ryan plan is a "reductio ad absurdum " a disproof by taking a proposition to a logical conclusion.

瑞恩计划是一个“归谬证法”——通过推导逻辑结论对命题进行反证。

By reductio, there cannot possibly be a procedure that acts like the mythical P.

通过反证法，不存在一个程序，能像传说中的P一样运行。

The negative example and reductio ad adsurdum Proof obtain an interesting application in statistical mathematic.

反例和反证法是数学中常用的方法，在统计数学中也有许多有趣的应用。

The former are a reductio ad absurdum of the latter precisely because both claims follow from the same philosophical approach to rights — they are differences in degree, not in kind.

两者都基于相同的权利哲学，前者恰恰是后者的重复，它们的差异，只是量的差异，并不存在质的区别。