使用演绎法调试是从一般原理或前提出发，经过排除及（）来推导出结论。