论文部分内容阅读
析取性质是一个逻辑的构造性特征的重要体现。严格蕴涵命题逻辑（正规命题逻辑）是正规模态逻辑的严格蕴涵片段。本文研究了正规命题逻辑的析取性质，运用Kleeneslash给出了析取性质的纯句法刻画条件。对于带有持续性公理的正规命题逻辑，本文给出了其析取性质的一个充分的语义条件。
论正规命题逻辑的析取性质
【摘 要】
：
析取性质是一个逻辑的构造性特征的重要体现。严格蕴涵命题逻辑（正规命题逻辑）是正规模态逻辑的严格蕴涵片段。本文研究了正规命题逻辑的析取性质，运用Kleeneslash给出了析取性
【机 构】
：
西南大学逻辑与智能研究中心
【出 处】
：
逻辑学研究
【发表日期】
：
2015年2期
【基金项目】
：
＂The author is supported by the funding of China ministry of Education （Grant No. 12YJC72040001）, and the national funding of social sciences （Grant No. 12CZX054）.
其他文献
计算机集成控制系统（ＣＩＭＳ）和ＩＳＯ９０００系列标准是现今世界两种先进的生产管理方式。本文在ＣＩＭＳ环境下，系统地分析了企业质量体系计算机辅助实施系统（ＩＳＯ９０００－ＣＡＱＳ）的地位，作用，特点，设计思想，功能结构以及内外部信息
【摘 要】英语教学的首要任务是提高课堂教学效率。可以着重从如下几个方面：提高学生的学习兴趣、增加课堂教学的趣味性、提高初中英语教学效率的对策。 【关键词】初中英语；课堂教学；提高教学效率 在新的初中英语课程标准中明确指出：老师应该指导学生以实践体验和互相配合的形式，来达到初中英语课程的教学任务目标。显然，现在的初中英语教学与传统的初中英语教学有明显的区别。前者侧重于学生在课堂和实践中应用英语，
高血压是当前临床心血管疾病中患病率最高的慢性疾病之一。该疾病会使患者心脏结构发生改变、心功能降低、心力衰竭、脑卒中等。同时,高血压也是心房颤动的主要发病原因,而心
【摘 要】为了探索改变现阶段小学语文教学评价方法的不足，笔者探索了绿色评价在小学语文课堂教学中的应用，首先对转变传统的小学语文课堂评价的必要性进行了分析，并从过程评价、人格评价以及自我价值实现论述了绿色评价的具体内涵，最后从制定评价标准、提升教师评价技能以及尊重学生主体地位三个方面论述了具体的评价策略。 【关键词】绿色评价；小学语文；课堂教学；策略 一、引言 虽然素质教育的实施已经具有较长的
【摘 要】生本主义和人文化是英语教学的灵魂，体现了对学生学习差异的尊重，帮助学生在自我尝试和主动交流中展现才能是课程教学基本目标要求。围绕和谐情境、创设任务互动和建构展示平台，对凸显学生的学习主观能动性起到一定的外化指引作用。探讨增强学生英语课堂积极表现教学策略，对优化教学过程与方法有着一定的现实指导意义。 【关键词】初中英语;学生;主体;能动性 面向全体学生全面发展需要优化教学策略方法，让
近年来,微创手术治疗的种类越来越多,范围越来越广,而微创手术治疗的创伤小、恢复快、住院时间短、疗效可靠等优点也逐步被广大患者所认同和接纳.腹腔镜下胆总管探查术这一新
针对传统的RBF网络求取隐层基函数中心的K-均值聚类算法的缺点,利用文化算法的全局搜索性能,将文化算法用于语音识别系统的RBF网络的训练过程中,基于实验数据,指出该方法的识
高校计算机实验室的管理工作不仅涉及机器设备和软件系统的管理,而且涉及学生思想行为的教育和管理。介绍了公共计算机实验室现状及其主要教学功能,分析了实验室管理中的主要
【摘 要】在新课改的背景下，小学语文核心素养中包含着审美素养，而小学语文阅读教学中最容易忽视的就是审美教育。实际上，阅读教学过程中的审美教育对学生认识世界、获得丰富的情感体验都有重要的意义。因此，本文结合小学语文阅读教学展开论述，重点分析如何在阅读教学中进行审美核心素养的培养。 【关键词】小学语文；阅读；核心素养；审美 小学语文核心素养的培养是当前小学语文教育的关键，在核心素养的多项要求中，审