created reference approved 反证法/反證法 → 归谬法/歸謬法 (synonym) — "Initial import from upstream dictionary"
反证法 / 反證法 fǎnzhèngfǎ
归谬法 / 歸謬法 guīmiùfǎ
synonym
Changed: source (simp), source (trad), source pinyin, target (simp), target (trad), target pinyin, type
created sense approved 反证法/反證法 · fǎnzhèngfǎ · proof by contradiction — "Initial import from upstream dictionary"
反证法 / 反證法
fǎnzhèngfǎ
proof by contradiction
A method of indirect proof that assumes the opposite of a statement is true and shows this leads to an impossible result; reduction to absurdity.
反证 (literal) → 反证/反證 · fǎnzhèng · reductio ad absurdum 法 (literal) → 法 · fǎ · method
Changed: simplified, traditional, gloss, definition, pinyin, variant pinyin, variants, separable parts, decomposition