|
|||||
|
|
| 用特征列证明推理的一个方法 | |
| 作者姓名： | 洪 港 王礼萍 张树功 |
| 作者单位： | 黑龙江东方学院基础教研部;哈尔滨学院理学院;吉林大学数学学院; |
| 基金项目： | 黑龙江省教育厅科学技术研究项目(11553065);黑龙江高等学校教改工程项目(JG2012010514) |
| 摘 要： | 将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。 |
| 关 键 词： | 命题公式 多项式列 多项式特征列 吴方法 |
| 本文献已被 CNKI 等数据库收录！ | |