论文部分内容阅读
替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索。
论替换中项法下的直言三段论自然推理系统
【摘 要】
：
替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三
【机 构】
：
兰州理工大学人文学院
【出 处】
：
毕节学院学报
【发表日期】
：
2009年02期
其他文献
完整性管理是基于数据科学决策的方法论,数据管理作为基础直接制约了完整性管理中各项工作的开展。基于中国石油管道完整性管理的现状,明确提出了9个专题61类数据的范围,通过
对套袋梨果主要害虫———中国梨木虱入袋消长规律与为害特点进行了系统的调查。结果表明 ,其入袋消长的始、盛、末期分别在 5月中旬、6月上中旬、8月中旬至 9月中旬 ;入袋后
用迷思学这种新方法来解释外国旅游者对广州的旅游体验,用认知、动机和情感三个维度来展开对外国旅游者的迷思研究:首先用词语云提炼外国旅游者的深度访谈记录,总结他们对广
摘要：游戏是幼儿的基本活动形式，对幼儿身心发展至关重要。通过游戏活动设计，能够有效培养幼儿的创造性。本文从转变观念，认识游戏职能;营造氛围，创设游戏环境;启迪思维，激发创造性等三方面进行阐述，充分认识游戏对促进幼儿创造性的重要性。 关键词：游戏;幼儿;创造性 中图分类号：G612 文献标识码：A 文章编号：1003-2177（2020）11-0106-02 游戏是幼儿的