首页> 中文期刊> 《福建电脑》 >命题公式类型的判定

命题公式类型的判定

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

本文提出如何判断一个公式为重言式、矛盾式、可满足式的方法.基于遗忘理论提出遗忘合式公式方法,在保持逻辑等值的条件下,遗忘掉公式的冗余命题变元,使得公式包含更少的命题变元,为判定命题公式类型提供一种能行的方法.

著录项

来源
《福建电脑》 |2008年第3期|23|共1页
作者
林运国; 徐荣聪;
展开▼
作者单位

福州大学数学与计算机科学学院;

福建;

福州;

350002;

福建农林大学计算机与信息学院;

福建;

福州;

350002;

福州大学数学与计算机科学学院;

福建;

福州;

350002;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
重言式; 矛盾式; 可满足式; 遗忘理论;

相似文献

中文文献
外文文献
专利

1. 命题公式真值表的生成与公式类型的机械判定 [J] . 张会凌 . 甘肃联合大学学报（自然科学版） . 2006,第001期
2. 命题公式类型的判定方法 [J] . 徐小萍 . 廊坊师范学院学报（自然科学版） . 2010,第006期
3. 命题公式类型的判定方法 [J] . 徐小萍 . 廊坊师范学院学报：自然科学版 . 2010,第006期
4. 命题公式合法性的自动判定 [J] . 张娟 . 价值工程 . 2015,第031期
5. 扩展命题区间时序逻辑公式可满足性判定算法 [J] . 朱维军 ,邓淼磊 ,周清雷 . 电子科技大学学报 . 2011,第005期
6. 区间值模糊命题逻辑公式的概率真度 [C] . 周丽莉 ,陈图云 . 中国系统工程学会模糊数学与模糊系统专业委员会第十三届年会 . 2006
7. 基于ST方法的命题公式不可满足性的判定系统 [A] . 董改芳 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号