6.3-2 假言推理及其方法