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

作　　者：丁汀[1] 黄伟亮[1] 

机构地区：[1]河南机电职业学院信息工程系,河南新郑451191

出　　处：《福建电脑》2014年第7期82-84,共3页Journal of Fujian Computer

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

关 键 词：命题公式 多项式 方程 代数化 

分 类 号：O241.6[理学—计算数学]