关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)

Some Results on Sheffer Functions in Partial K-Valued Logic (Ⅰ)

根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．

In this paper, according to the completeness theory of Partial K-Valued logic, s ome full symmetric functions (m=2) are proved to be the component part of th e minimal covering of precomplete classes in P*k.