名词<拉>归谬法，间接证明法，反证法（说明某一命题的反面为不可能或荒谬，以证明该命题为正确）
1. 反证法; 归谬法：reducible 可约的;可化简的 | reductio ad absurdum 反证法; 归谬法 | reduction formula 归约公式
2. 反证法：reducible variety 可约簇 | reductio ad absurdum 反证法 | reduction 简化
3. 反证法; 归谬法Btu中国学习动力网：reducible 可约的;可化简的Btu中国学习动力网 | reductio ad absurdum 反证法; 归谬法Btu中国学习动力网 | reduction formula 归约公式Btu中国学习动力网
noun
1. (reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd
or a proof of a proposition by showing that its negation leads to a contradiction
Synonym: reductio