关于部分K值逻辑Sheffer函数(Ⅱ)

摘要

本文证明m=2时,P<,K><'*>中的正则可离函数类中满足一定条件的正则可离函数集可以被最小覆盖加的某些准完备集之并所覆盖,即此类正则可离函数集在P<,K><'*>中准完备集之最小覆盖中必不出现.