简要说明逻辑证明与实践检验的关系