8.3 演绎法调试