演绎法

deduction and reasoning