6.3.3 修正的逻辑法