论文部分内容阅读
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。
MP＊中的等值完全析取范式
【摘 要】
：
讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。
【机 构】
：
军事经济学院数学教研室,通信工程学院数学教研室,空军气象学院数学教研室,航空航天大学计算机科学与工程系
【出 处】
：
南京航空航天大学学报
【发表日期】
：
1998年4期
其他文献
语法是语言的共核，对于语言学习举足轻重。实证研究表明，高级阶段的英语语法教学应以内隐学习理论为指导，在内隐与外显学习动态整合的基础上，摒弃传统的单项语法项目的显性讲授，聚
当前世界各国均认识到经济与环境协调发展的重要性,环境保护相关理念深入人心。我国物流行业在飞速发展的同时,也应重视物流对生态环境造成的影响,采用绿色物流模式保障物流
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
综合运用了神经网络、模糊理论，详细分析了力反馈和主动柔顺控制的特点，首次提出了“力／位并环控制”的新策略，建立了相应的神经结构，利用基于知识的模糊规划实现模糊粗校正，消除明
今年39岁的刘瑜论资排辈在学术界属于晚辈，近几年以自己独立的思考，理性的分析成为国内公共领域最重要的声音之一。她为媒体撰写的政治评论专栏既受好评又受欢迎，一部《民主的细
文章首先从三个方面对小学数学教育中体验式学习的应用优势进行了详细的介绍,之后探讨了小学数学教育中体验式学习的实施途径,主要包括三个方面:构建数学教学情境、加强实践
"如今,世界充斥着冷漠和绝望,而曼德拉的入生故事正是与这样的世界对抗的过程。他从一名囚犯到一个自由的入,从一位追求解放的斗士发展为推进和解的热心入士,从一个政党领袖
目前已有研究证实,群际接触会影响群体态度。研究随机选取198名大学生,采用问卷调查法深入探究群际接触和群体态度是否会影响以及如何影响社会公平感的水平。研究发现：（1）对上海
本文以澳大利亚英语语法课堂教学为例，介绍了“语用意识增强式任务模式”在外语语法教学中的应用。该模式强调以语言形式为基点，结合语用机制、语境知识和百科知识，通过语言理解