实践是检验真理的唯一标准,并不排斥逻辑证明的作用。逻辑证明( )。