简要的介绍了一下Matlab中符号处理工具箱中符号处理函数。可以说看了这篇文章后，基本可以用Matlab进行复杂的逻辑推理了。