首页 下载 移动开发 其他 下载详情 论文研究 二值命题逻辑理论的结论类型和分类.pdf 上传:guangrongpr 浏览: 19 推荐: 0 文件:PDF 大小:276.45KB 上传时间:2020-07-16 20:13:13 版权申诉 以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定理以及同一理论结论的相似度的一个下界。 立即下载 上传资源 微信扫一扫 用户评论 提交评论