期刊文献+

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

Adequacy or Inadequacy Proof of Several Propositional Connection Sets
下载PDF
导出
摘要 命题联结词集合的完备性和不完备性是命题逻辑中一种有趣的现象,证明了联结词集合{∨,∧,→,}和{~,}的不完备性,并在表明联结词集合{~,∧},{~,∨}和{~,→}是完备的基础上证明了两个单元集{↓}和{|}是完备的。 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.
作者 宋伟
出处 《武汉工程职业技术学院学报》 2010年第1期35-36,47,共3页 Journal of Wuhan Engineering Institute
关键词 联结词集合 完备性 不完备性 connective sets adequacy inadequacy
  • 相关文献

参考文献3

  • 1Hamilton,A.G.Logic for Mathematicians[M].Cambridge:Cambridge University Press,1988:19-21.
  • 2Mendelson,E.Introduction to Mathematical Logic[M].London:Chapman & Hall,1997:27-29.
  • 3Hunter,G.Metalogic[M].London:Macmillan,1971:68-70.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部