首页> 中文期刊> 《宜春学院学报》 >主范式的计算方法及其在命题公式中的作用

主范式的计算方法及其在命题公式中的作用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法.同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用.

著录项

来源
《宜春学院学报》 |2011年第4期|39-40|共2页
作者
吕诚; 孙秀华; 吕敏;
展开▼
作者单位

安徽建筑工业学院数理系,安徽合肥,230022;

安徽建筑工业学院数理系,安徽合肥,230022;

中国科学技术大学计算机科学与技术学院,安徽合肥,230026;

展开▼
原文格式 PDF
正文语种 chi
中图分类离散数学 ;
关键词
主析取范式; 主合取范式; 极小项; 极大项; 命题公式;

相似文献

中文文献
外文文献
专利

1. 命题公式主析范式的自动生成系统 [J] . 张娟 . 价值工程 . 2013 ,第030期
2. 命题公式主范式的二进制求法 [J] . 施泱 . 电力学报 . 2008 ,第003期
3. 命题公式主范式的自动生成与形式输出 [J] . 张会凌 . 甘肃联合大学学报（自然科学版） . 2006 ,第005期
4. 关于命题公式的主范式 [J] . 李庆宏 . 阜阳师范学院学报（自然科学版） . 2002 ,第003期
5. 几类主范式在命题推理正确性判断中的应用 [J] . 胡纪华 . 安康学院学报 . 2013 ,第003期
6. n值命题逻辑系统Wn中公式的真度理论 [C] . 张安英 ,于西昌 ,张兴芳 . 中国系统工程学会模糊数学与模糊系统专业委员会第十三届年会 . 2006
7. 多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度 [A] . 李慧玲 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号