词典
假设演绎法
假设演绎法汉语