6.3.2 逻辑法