福建电脑
福建電腦
복건전뇌
FUJIAN COMPUTER
2014年
7期
82-84
,共3页
命题公式%多项式%方程%代数化
命題公式%多項式%方程%代數化
명제공식%다항식%방정%대수화
本文主要基于命题公式的多项式表达，将命题逻辑问题转换成多项式方程组的求解问题，将命题逻辑问题中的前提转换成方程组，然后利用数学软件maple求解，最后把方程求解结果转换成要推导的结论，从而实现命题逻辑问题的求解。实践证明，在计算机的支持下，该方法是可靠，有效的。
本文主要基于命題公式的多項式錶達，將命題邏輯問題轉換成多項式方程組的求解問題，將命題邏輯問題中的前提轉換成方程組，然後利用數學軟件maple求解，最後把方程求解結果轉換成要推導的結論，從而實現命題邏輯問題的求解。實踐證明，在計算機的支持下，該方法是可靠，有效的。
본문주요기우명제공식적다항식표체，장명제라집문제전환성다항식방정조적구해문제，장명제라집문제중적전제전환성방정조，연후이용수학연건maple구해，최후파방정구해결과전환성요추도적결론，종이실현명제라집문제적구해。실천증명，재계산궤적지지하，해방법시가고，유효적。
