逻辑检查