| 注册
首页|期刊导航|山东农业大学学报(自然科学版)|命题联结词集合{,}的不完备性

命题联结词集合{,}的不完备性

金贤安 樊洪志 赵娜娜

山东农业大学学报(自然科学版)Issue(z1):13-15,3.
山东农业大学学报(自然科学版)Issue(z1):13-15,3.DOI:10.3969/j,issn.1000-2324.2014.z.003

命题联结词集合{,}的不完备性

Inadequacy of Propositional Connective Set{,}

金贤安 1樊洪志 2赵娜娜1

作者信息

  • 1. 厦门大学数学科学学院,福建 厦门 361005
  • 2. 厦门大学软件学院,福建 厦门 361005
  • 折叠

摘要

Abstract

The problem of completeness or incompleteness of an propositional connective set is an important problem in logic. In this paper, we prove the set of connectives{,}is incomplete.

关键词

命题联结词集/不完备性

Key words

Propositional connectives/incompleteness

分类

数理科学

引用本文复制引用

金贤安,樊洪志,赵娜娜..命题联结词集合{,}的不完备性[J].山东农业大学学报(自然科学版),2014,(z1):13-15,3.

山东农业大学学报(自然科学版)

OACSCDCSTPCD

1000-2324

访问量0
|
下载量0
段落导航相关论文