基于多项式方程的命题逻辑问题的求解

本文主要基于命题公式的多项式表达,将命题逻辑问题转换成多项式方程组的求解问题,将命题逻辑问题中的前提转换成方程组,然后利用数学软件maple求解,最后把方程求解结果转换成要推导的结论,从而实现命题逻辑问题的求解。实践证明,在计算机的支持下,该方法是可靠,有效的。