iLib2 新一代的学术数据库 首页 | 账户 | 充值 | 收藏
www.ilib.cn找不到?搜一下!

首页 > 学术期刊 : 广西师范大学学报(自然科学版)JOURNAL OF GUANGXI NORMAL UNIVERSITY(NATURAL SCIENCE EDITION) MPM中的等值完全析取范式EQUIVALENT COMPLETE DISJUNCTIVE NORMAL FORM IN MPM
添加收藏

MPM中的等值完全析取范式EQUIVALENT COMPLETE DISJUNCTIVE NORMAL FORM IN MPM


作者: 凌方, 王建东

学术期刊 QCode : gxsfdxxb200301026
主要讨论中介逻辑命题演算系统MPM中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.
查阅全文需要付费。


相似文献
更多相似文献...
版权所有 北京万方数据股份有限公司 京ICP证010071号 关于我们 | 资源合作 | 知识产权声明 | 客户服务 | 万方数据