| 若干命题联结词集合的完备性和不完备性证明 |
| |
| 引用本文： | 宋伟.若干命题联结词集合的完备性和不完备性证明[J].武汉工程职业技术学院学报,2010,22(1):35-36,47. |
| |
| 作者姓名： | 宋伟 |
| |
| 作者单位： | 湖北大学哲学学院,湖北,武汉,430062 |
| |
| 摘 要： | 命题联结词集合的完备性和不完备性是命题逻辑中一种有趣的现象,证明了联结词集合{∨,∧,→,}和{～,}的不完备性,并在表明联结词集合{～,∧},{～,∨}和{～,→}是完备的基础上证明了两个单元集{↓}和{|}是完备的。
|
| 关 键 词： | 联结词集合 完备性 不完备性 |
Adequacy or Inadequacy Proof of Several Propositional Connection Sets |
| |
| SONG Wei.Adequacy or Inadequacy Proof of Several Propositional Connection Sets[J].Journal of University for Staff and Workers of Wuhan Iron and Steel(Group)Corporation,2010,22(1):35-36,47. |
| |
| Authors: | SONG Wei |
| |
| Abstract: | Adequacy or inadequacy of propositional connective sets is an interesting phenomenon in propositional logic. This essay proves the inadequacy of the connective sets{∨,∧,←→,→} and {～,←→}. The adequacy of the singleton sets { ↓}and {｜} is also proved. |
| |
| Keywords: | connective sets adequacy inadequacy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
