简述实践标准与逻辑证明的关系。