论文部分内容阅读
替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索。
论替换中项法下的直言三段论自然推理系统
【摘 要】
：
替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三
【机 构】
：
兰州理工大学人文学院
【出 处】
：
毕节学院学报
【发表日期】
：
2009年02期
其他文献
完整性管理是基于数据科学决策的方法论,数据管理作为基础直接制约了完整性管理中各项工作的开展。基于中国石油管道完整性管理的现状,明确提出了9个专题61类数据的范围,通过
对套袋梨果主要害虫———中国梨木虱入袋消长规律与为害特点进行了系统的调查。结果表明 ,其入袋消长的始、盛、末期分别在 5月中旬、6月上中旬、8月中旬至 9月中旬 ;入袋后
目的:探讨彩超在肾肿瘤患者的肾动脉血流改变中的诊断价值。方法:将我院2017年1月—2018年1月接收的CT或B超提示为肾肿瘤患者患者73例为研究样本,56例为肾恶性肿瘤作为恶性组
Keeping Chinese Craftsmanship to Add Radiance --The 2017 China ＂Suyi Cup＂ International Arts and Cra
文章从法学类课程进程性考核改革的意义着眼,阐述了适合于过程性考核的法学课程类型,以哈尔滨理工大学为例,着重分析了应用型法学课程过程性考核效果,并提出了应用过程性考核
用迷思学这种新方法来解释外国旅游者对广州的旅游体验,用认知、动机和情感三个维度来展开对外国旅游者的迷思研究:首先用词语云提炼外国旅游者的深度访谈记录,总结他们对广
拥有近80年历史的纽约地标性建筑——帝国大厦即将进行翻新，其亮点是节约能源、减少温室气体排放。改造完成后，帝国大厦15年内温室气体排放量可削减10．5万吨，相当于1．75万辆轿车一
药品回扣是造成药品价格虚高的主要原因，药品价格虚高不仅增加了百姓的经济负担，助长了腐败和不正之风，扰乱了药品生产经营秩序，而且有碍于临床合理用药。为此，我院从2006年底从抗
摘要：游戏是幼儿的基本活动形式，对幼儿身心发展至关重要。通过游戏活动设计，能够有效培养幼儿的创造性。本文从转变观念，认识游戏职能;营造氛围，创设游戏环境;启迪思维，激发创造性等三方面进行阐述，充分认识游戏对促进幼儿创造性的重要性。 关键词：游戏;幼儿;创造性 中图分类号：G612 文献标识码：A 文章编号：1003-2177（2020）11-0106-02 游戏是幼儿的