再谈全功能运算集

本文作者在1997年第一期《河北大学学报》(自然版)上曾发表了《全功能运算集》一文。《再谈全功能运算集》进一步对命题演算中所有的二元运算(16个)集M={f_1|i=1,2……16}的子集,论述了全功能的运算集。

全功能运算集

本文对于命题演算中五种运算的集Ｓ∨＝｛Ｌ，∧，∨，→，｝，及其扩大集Ｓ＝Ｓ∪｛↑，↓，∨－，→｝论述了全功能的运算集。