关键词: 多值逻辑，完备性，Shcffcr函数，完满对称函数集

Abstract: According to the completeness theory in partial K-valued logic, starting with the chart of binary full symmetric relations, this paper first proved two kinds of preserving binary full symmetric relations function sets unbelong to the minimal covering members in partial K-valued logic, and then discussed the edge number of chart, decided the emergence of preserving binary full symmetric relations function sets in the minimal covering members in partial K-valued logic.

Key words: Multi valued logic, Completeness, Sheffer function, Full symmetric function sets