11．实践检验和逻辑证明