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

• 作者: 丁汀 黄伟亮
• 来源期刊: 福建电脑
• 关键词: 命题公式 多项式 方程 代数化
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 应用与开发
• 页码范围: 82-84
• 页数: 3页
• 字数: 2934字
• 语种: 中文

摘要

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