什么是逻辑校验？试举例说明。