部分K值逻辑中最小覆盖之判定的一些结果 上传者：yyy31763 2021-02-23 10:58:56上传 PDF文件 460.09KB 热度 34次 根据部分K值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离关系G2=G2({1,2})∪G"2之关系图的基础图仅为N图,则T(G2)不是PK*的最小覆盖成员。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
