期刊文献+

单独函数完全的算子 被引量: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
  • 相关文献

参考文献2

  • 1宋文淦.《关于只有单个足够的初始联结词的经典命题逻辑演算》.载《摹物求比》.社会科学文献出版社.2000年版,第276-282页.
  • 2Mendelson E.,Introduction to Mathematical Logic.New York.Van Nostrand,1979.

共引文献1

同被引文献27

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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