演绎 yǎnyì HSK7 deduce Definitions Defs Origin Strokes Stroke Words Sentences Sents 演绎法 yǎnyìfǎ deduction deductive reasoning