根据部分多值逻辑完备性理论，证明了当m=2，σ=e时，若正则可离函数关系G2-G2（{1，2}）U^-G2之关系图的基础图连通且如含回路必须是M-回路，则T......

根据部分K值逻辑完备性理论，得到了当m=2，δ=e，时，若正则可离关系G2=G2（{1，2}）U↑-G2之关系图的基础图连通，则T（G2）不是PK^＊的最小覆盖成员的......

根据部分K值逻辑完备性理论，证明了当m=2，σ=e时，若正则可离关系G2=G2（{1，2}）∪G^-2之关系图的基础图仅为N图．则T（G2）不是PK的最小覆盖成员......

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪(G-)2之关系图仅是一个回路,则T(G2)不是P*k的最小覆盖......