论文部分内容阅读
模态和谓词逻辑中的演绎后承有多种定义方式。虽然其中多数是等价的,但它们有各自的优缺点。通过在公理系统中区分两类规则,我们给出了一种定义演绎后承的新方法。该方法不仅继承了已有定义的优点,而且可以将模态和谓词逻辑中的6种后承概念统一起来。我们还表明,新的定义方式具有教学法上的优点。
一种定义模态和谓词逻辑演绎后承的新方法
【摘 要】
：
模态和谓词逻辑中的演绎后承有多种定义方式。虽然其中多数是等价的,但它们有各自的优缺点。通过在公理系统中区分两类规则,我们给出了一种定义演绎后承的新方法。该方法不仅
【机 构】
：
中山大学逻辑与认知研究所中山大学哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2020年6期
其他文献
目的探讨腹部手术后功能性胃排空障碍的病因、病机及诊疗方法。方法对我院36例腹部手术后功能性胃排空障碍患者的临床资料进行回顾性分析。结果36例确诊为腹部术后功能性胃排
<正> 课堂教学评价,决定着对课堂教学行为的导向,决定着是以教师为主体,还是以学生为主体。过去对课堂教学的评价,侧重于对教师教的评价,诸如教师对教学大纲的把握、教材的理
韩国假面剧和中国广西宾阳地区师公剧以各自的地域为背景,结合各自民族的历史文化、信仰风俗、审美理想,成长发展成为传统民俗戏剧。二者都蕴含了本民族的历史文化、信仰风俗
目的探讨实施护理干预在出院高血压患者减少脑血管并发症中的应用效果。方法将100例高血压出院患者随机分成干预组和对照组各50例,对照组给予常规出院指导,健康教育干预组在
双循环是当下中国经济发展的主旋律, 中国会展业顺应时代发展潮流, 再谱蓝图。本期会展论坛摘录了中国会展业国际经贸论坛主题对话环节, 中国会展经济研究会会长袁再青作为主
肾病综合征的自然病程与预后取决于原先存在的肾脏疾患及全身性疾病,有些疾病能完全恢复,有些疾病经过长短不等的病程后逐渐恶化。为提高患者的生活质量,使疾病恢复到理想状
目的探讨人类免疫缺陷病毒（HIv）感染孕产妇产时产后的护理方法。方法对79例HⅣ感染的孕产妇按照标准性预防进行产时、产后人性化护理，特别注重心理护理、健康教育及新生儿处理。
目的观察整肠生对抗菌药物相关性腹泻（AAD）的治疗效果及安全性。方法将60例抗菌药物相关性腹泻患者随机分为治疗组和对照组各30例,对照组给予营养支持治疗,治疗组在营养支持等