在实践检验真理的过程中,逻辑证明( )。