反证法 fǎnzhèngfǎ proof by contradiction Definitions Defs Origin Strokes Stroke Words Sentences Sents 反证 反證 fǎnzhèng reductio ad absurdum (logic/math) method of proof which proceeds by stating a proposition and then showing that its denial leads to a contradiction法 fǎ noun method method; way; mode; technique; rule of grammar