黑龙江大学自然科学学报

2014, (01) 65-68

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

用特征列证明推理的一个方法
An algebraic approach to proposition calculus with Characteristic set

洪港;王礼萍;张树功;

摘要(Abstract):

将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。

关键词(KeyWords): 命题公式;多项式列;多项式特征列;吴方法

Abstract:

Keywords:

基金项目(Foundation): 黑龙江省教育厅科学技术研究项目(11553065);; 黑龙江高等学校教改工程项目(JG2012010514)

作者(Author): 洪港;王礼萍;张树功;

Email:

DOI:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享