严谨的逻辑验证