用演绎法推算一下