逻辑的验证