逻辑验证系统