类型:演绎法