命题逻辑中代数学的影子

• 作者: 张广学
• 来源期刊: 现代电子技术
• 关键词: 命题逻辑 代数学 数理逻辑 二义性
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 科学计算及信息处理
• 页码范围: 126-127
• 页数: 2页
• 分类号: TP30
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2008.04.044

摘要

命题逻辑是一个以命题为基本研究对象的数学化的逻辑系统,命题逻辑是数理逻辑的基础,也是计算机科学与技术的理论基础.为了深入理解命题逻辑,将命题逻辑与一般的代数学进行比较,从6个方面简要总结和论述命题逻辑中代数学的一些思想和方法,使得读者能从中体会到代数学的一些思想和方法在命题逻辑中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广学		3	12	1.0	3.0