实践验证与解释定义