8.2.3 逻辑检查