论文研究-部分K值逻辑中最小覆盖之判定的一些结果.pdf

【文件属性】：

文件名称：论文研究-部分K值逻辑中最小覆盖之判定的一些结果.pdf

文件大小：470KB

文件格式：PDF

更新时间：2022-10-01 06:15:04

论文研究

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