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

【文件属性】：

文件名称：论文研究-二值命题逻辑理论的结论类型和分类.pdf

文件大小：276KB

文件格式：PDF

更新时间：2022-09-30 10:54:27

论文研究

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