41 演绎法推论