zh 反證法
― Synonym ⟶
Weight: 1.0
en reductio ad absurdum Source: CC-CEDICT 2017-10
zh 反證法
― Synonym ⟶
Weight: 1.0
zh 反证法 Source: CC-CEDICT 2017-10
zh 反證法
― Synonym ⟶
Weight: 0.5
en proof by contradiction Source: DBPedia 2015