逻辑验证