57.什么是演绎法?