期刊文献+

单独函数完全的算子 被引量:2

On Functionally Complete Operators
原文传递
导出
摘要 By means of the functionally complete operators of non-conjunction and non disjunction this article proves a proposition that there are only 56 3 ary operators. Then it puts forward concepts of negation definable operator and “Car” form operator. Based on this it proves by using complete disjunctive normsand complete conjunctive norms that all n ary negation definable operators except “Car” form operators are functionally complete. In the end, it concludes that there are only 2 2 n -2 -2 2 n-1 -1 functionally complete n ary operators. By means of the functionally complete operators of non-conjunction and non disjunction this article proves a proposition that there are only 56 3 ary operators. Then it puts forward concepts of negation definable operator and “Car” form operator. Based on this it proves by using complete disjunctive normsand complete conjunctive norms that all n ary negation definable operators except “Car” form operators are functionally complete. In the end, it concludes that there are only 2 2 n -2 -2 2 n-1 -1 functionally complete n ary operators.
作者 杜国平
出处 《哲学研究》 CSSCI 北大核心 2000年第6期52-55,共4页 Philosophical Research
  • 相关文献

参考文献6

  • 1宋文淦著..符号逻辑基础[M].北京:北京师范大学出版社,1993:267.
  • 2宋文淦.《关于只有单个足够的初始联结词的经典命题逻辑演算》.载《摹物求比》.社会科学文献出版社.2000年版,第276-282页. 被引量:2
  • 3张清宇等著..哲学逻辑研究[M].北京:社会科学文献出版社,1997:499.
  • 4朱梧槚,肖奚安编著..数理逻辑引论[M].南京:南京大学出版社,1995:306.
  • 5Mendelson E.,Introduction to Mathematical Logic.New York.Van Nostrand,1979. 被引量:1
  • 6张家龙著..数理逻辑发展史 从莱布尼茨到哥德尔[M].北京:社会科学文献出版社,1993:446.

共引文献1

同被引文献27

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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