部分K值逻辑中单纯可离函数集结构研究

Research of simply separable function sets structure in partial K-valued logic

根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。

According to the completeness theory in partial K-valued logic,the structure of simply separable function sets in partial K-valued logic was discussed.First,the number of direct divisions of m-ary relationships in partial K-valued logic was solved.Then,on the basis of the division,all of the simply separable function sets were given.Finally,the properties of preserving K-ary simply separable function sets were analyzed.