摘要
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