论文研究二值命题逻辑理论的结论类型和分类.pdf

上传：guangrongpr 浏览： 19 推荐： 0 文件：PDF 大小：276.45KB 上传时间：2020-07-16 20:13:13 版权申诉

以公式真度为基础，研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题，给出了分类定理以及同一理论结论的相似度的一个下界。