共查询到20条相似文献,搜索用时 46 毫秒
1.
2.
3.
4.
严密的逻辑性是数学的一个基本特点.从这层意义上讲,任何数学问题都不可能离开逻辑推理.但这里所说的逻辑推理题专指具有以下特点的一些题目:条件与结论之间的逻辑结构严谨,“推理链”较长,初看似乎头绪纷繁或条件不足,经过逐步逻辑推理,层层抽丝剥茧,即可使问题迎刃而解.这类问题,由于其题材的趣味性、条件的隐蔽性,使其有较强的思维锻炼效能.很受学生喜爱. 相似文献
5.
6.
严密的逻辑性是数学的一个基本特点,从这层意义上讲,任何数学问题都不可能离开逻辑推理,但这里所说的逻辑推理题专指具有以下特点的一些题目:条件与结论之间的逻辑结构严谨,“推理链”较长,初看似乎头绪纷繁或条件不足,经过逐步逻辑推理,层层抽丝剥茧,即可使问题迎刃而解,这类问题,由于其题材的趣味性和条件的隐蔽性,使其有较强的思维锻炼效能,很受学生喜爱。 相似文献
7.
8.
9.
10.
李桂英 《河南大学学报(教育科学版)》2001,17(2):53-55
逻辑推理分为演绎推理和归纳推理。在阅读中,运用逻辑推理,通过分析单句、语篇、上下之间的关系,读就能更好地理解章的内容,得出合乎逻辑的结论。本从什么是逻辑推理以及如何在阅读中进行逻辑推理这两方面加以论述。 相似文献
12.
Fan Rongqiang 《广东技术师范学院学报》1993,(4)
本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。 相似文献
13.
复合命题推理逻辑方阵的类型分为基本类型和派生类型.从推理形式的有效式(均为重言式)为起点,先根据推理有效式的逻辑关系为推演基础,构建复合命题推理逻辑方阵的基本类型,再对推理有效式的前肢互否、后肢互否、双肢互否三种派生形式(均为协调式)的真值进行定义,并根据"平行移行"规则推演出真假制约关系,构建复合命题推理逻辑方阵的派生类型,这大大拓展了逻辑学理论研究和应用研究的空间. 相似文献
14.
西方传统逻辑讲谬误,主要指形式谬误;中国古代逻辑讲谬误,主要指实质谬误。中国古代逻辑中关于“说”的谬误,主要指非必然性推理的错误。由于在推理的过程中不知类,不明故或不知止,就会产生各种实质性谬误。古代逻辑学不仅分析了产生谬误的原因,而且分析了不同的谬误形式,这些探索和分析有助于我们进一步提高思辩能力,防止逻辑错误。 相似文献
15.
提出了具有三值逻辑表达能力的神经元模型,即三值逻辑与神经元和三值逻辑或神经元.由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统,可以对三值产生式进行表示和推理。 相似文献
16.
曹飞 《衡阳师范学院学报》2006,27(2):128-130
思维一旦出现自我否定就必然出现悖论,通常人们从肯定或否定一悖论,到否定或肯定它的推理都是合乎逻辑的,黄展骥先生提出的说谎者悖论(黄称为“‘强化谎者’悖论”)的推理犯了“复合命题”谬误的观点,是颇值得商榷的。 相似文献
17.
推定是在部分案件事实不能证明的情况下,依据逻辑关系或者司法理性,确定案件待证事实为真的过程。推定不是证明,但是,它是以控方的证明和嫌疑人的抗辩为基础的。从本质上看,推定不仅仅是一种逻辑思维过程,还是逻辑思维与司法理性相融合的过程。 相似文献
18.
针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理. 相似文献
19.
杨岗营 《毕节师范高等专科学校学报》2014,(6):26-29
从结构上看,数学是问题和问题解的集合,逻辑是问题和答案之间的桥梁。具体到中国古代数学,其一般结构表现为:问、答、术(图)、草。"术(图)"阐述解题原理和步骤,"草"给出详细的解题过程,二者的功能和西方数学中逻辑的功能完全相同。中国数学中的"术(图)"和"草",就是中国古代数学中的中国逻辑。中国数学是中国逻辑必然推理的研究对象,二者具有相同的源流。 相似文献
20.
张盛彬 《河南师范大学学报(哲学社会科学版)》2005,32(6):40-44
科学发现有没有逻辑的争论,由来已久.有人称其无,有人说其有,还有归纳派和演绎派的形同水火.究其实,争论是由逻辑观--传统形式逻辑和现代数理逻辑的不同引起的.其实,归纳派和演绎派各执一端,各有长短,彼此是相通的,类比、归纳和演绎整合的推理链,才是科学发现的逻辑. 相似文献