期刊文献+

联结词的可表性与完全集

On the Communication and Adequate Set of Connectives
下载PDF
导出
摘要 在4个一元16个二元联结词的范围内,给出了由联结词构成的集合的可表出性的概念,处理了联结词集之间的关系并作了一些关于联结词的完全集讨论. This paper analyzes the communication of the set of connectives, discusses the relation between the sets of connectives and summarizes some properties of the adequate sets of connectives.
作者 王建
机构地区 衢州学院教育系
出处 《绍兴文理学院学报(自然科学版)》 2006年第1期21-24,共4页 Journal of Shaoxing College of Arts and Sciences
关键词 真值函数 联结词 完全集(功能完备集) 极小完全集 truth function connective adequate set minimum adequate set
  • 相关文献

参考文献7

二级参考文献7

  • 1苏岐芳,杨捷飞.0—1多项式与命题逻辑[J].齐齐哈尔师范学院学报(自然科学版),1995,15(3):1-3. 被引量:1
  • 2熊金淹.近世代数,第2版[M].上海:上海科学技术出版社,1978..
  • 3谭勇.江湖怪棋[M].成都:成都出版社,1990..
  • 4左孝凌 李为鉴 等.离散数学[M].上海:上海科技文献出版社,1981..
  • 5马振华.数理逻辑导论[M].北京:清华大学出版社,1981..
  • 6李为鎏.离散数学--方法导引[M].上海:复旦大学出版社,1991..
  • 7张一立 唐常杰 等.离散数学教程[M].四川:四川大学出版社,1990..

共引文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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