【摘 要】
：
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。该范
【机 构】
：
武汉军事经济学院数学教研室; 南京通信工程学院数学教研室; 南京空军气象学院数学教研室; 南京航空航天大学计算机科学与工程系;
论文部分内容阅读
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值（｜＝｜）意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。该范式分为三个部分，即真值项、清晰项和矛盾项，它能够反映合式公式的本质特征及取值分布情况，为规范化研究该系统中的合式公式提供了一种工具，较理想地解决了ＭＰ＊中的析取范式问题。另外，本文还证明了一个等值公式，把真值程度词在等值的意义下用含清晰化算符的公式表示，扩充了ＭＰ＊的形式推理规则。
其他文献
加强成本控制是我国国有企业工作的一项重要内容。加入WTO后国际经济环境将对我国国企的发展经营产生重大影响,用先进的ABC法和ABM法与我国国企采用的传统成本控制法之间进行
“驱动性问题链”是高中物理问题教学的关键所在,问题解决教学就是通过教师设计的驱动性问题贯穿于课堂教学的始终,促进学生在分析和解决的过程中逐步萌发主动探究的动机和欲
论述了农机维修及维修服务在农机化工作中的定位、作用和意义,介绍了国内外典型农机维修服务模式,并结合农机化发展的新形势,提出优化农机维修服务模式的对策与建议。
农机维修管理工作的质量关系着农业机械的技术状况,也关系着农机户的切身利益,更关系着农机的安全运行。我国农业部农业机械化管理司在2006年重新起草了《农业机械维修管理规
日前，中宣部、财政部、文化部、审计署、国家新闻出版广电总局联合发出通知，明确要求不得使用财政资金举办营业性文艺晚会，不得使用财政资金高价请演艺人员等。一石激起千层浪，舆
目的探讨2型糖尿病(T2DM)伴高尿酸血症的影响因素。方法选取邛崃市医疗中心医院2014年2月—2015年1月收治的T2DM患者400例,根据患者尿酸水平分为T2DM伴高尿酸血症(研究组)200
为促进我国农业进一步发展、保障国家粮食基本安全、提高人民生活水平,农业机械化已成为农业生产的必然趋势。采用大规模机械化的生产方式能够有效地提高农业生产效率,为最终
在TiO2负载的锰氧化物(MnOx/TiO2)中引入第2种组分,制成二元金属氧化物(MnOx-A/TiO2)催化剂,A分别为Fe2O3、WO3、MoO3、Cr2O3,试验研究低温催化活性、N2选择性及抗SO2毒性。
综述了逆向工程中实物数字化技术、测量数据的预处理、曲面重建技术、重构曲面的评价和检验等关键技术的发展现状和存在的问题,并对今后的发展方向进行了讨论。
我国牛肉需求增长对牛肉供给提出了严峻的挑战。随着我国居民生活水平的改善,居民牛肉需求不断增加,牛肉价格的持续上升反映了牛肉供需矛盾的严重性。缓解牛肉供需矛盾是主要