若干命题联结词集合的完备性和不完备性证明

【#第一文档网# 导语】以下是®第一文档网的小编为您整理的《若干命题联结词集合的完备性和不完备性证明》，欢迎阅读！

若干命题联结词集合的完备性和不完备性证明

宋伟

【期刊名称】《武汉工程职业技术学院学报》 【年(卷),期】2010(022)001

【摘 要】命题联结词集合的完备性和不完备性是命题逻辑中一种有趣的现象,证明了联结词集合{∨,∧,→,

}和{～,(←→)}的不完备性,并在表明联结词集合

{～,∧ },{～,∨}和{～,→}是完备的基础上证明了两个单元集{↓}和{|}是完备的. 【总页数】3页(P35-36,47) 【作 者】宋伟

【作者单位】湖北大学哲学学院,湖北,武汉,430062 【正文语种】中 文 【中图分类】B81 【相关文献】

1.Peano公理系统不完备性的证明——非传统数论研究 [J], 李英杰 2.Peano公理系统不完备性的再证明——费尔马猜想成立 [J], 李英杰 3.形式Peano算术的G(o)del不完备性定理的一个简单证明 [J], 秦一明 4.命题逻辑联结词完全性证明 ——数学归纳法的应用 [J], 曹发生

5.哥德尔不完备性定理及其证明过程的哲学解析 [J], 郭锋

因版权原因，仅展示原文概要，查看原文内容请购买

本文来源：https://www.dy1993.cn/K4A4.html