-
题名试论推理格式与数学证明方法
被引量：4
- 1
-
-
作者
孙宗明
-
出处
《开封大学学报》
1996年第2期19-25,共7页
-
文摘
本文以命题真值代数的基本知识为依据，阐述五种主要的数学证明方法：演绎法、完全归纳法、反证法、半反证法、数学归纳法。
-
关键词
推理格式
数学证明
命题真值代数
演绎法
-
分类号
O153.2
[理学—基础数学]
-
-
题名F推理格式及其应用
- 2
-
-
作者
熊天义
-
出处
《淮北煤师院学报（自然科学版）》
1996年第2期1-3,共3页
-
文摘
Ｆ命题演算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论．另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础．
-
关键词
蕴涵
F推理格式
运算
F命题
F逻辑
-
Keywords
implication
F-inference pattern
calculus
-
分类号
O141.1
[理学—基础数学]
-
-
题名对充分条件推理和必要条件推理的比较
被引量：1
- 3
-
-
作者
王墨耘
尹小磊
-
机构
陕西师范大学心理学院
-
出处
《心理科学》
CSSCI
CSCD
北大核心
2010年第4期887-890,共4页
-
基金
教育部人文社会科学规划项目"条件推理的语义关系理解理论"(09YJAXLX016)的资助
-
文摘
用大学生为被试的实验考察比较充分条件推理和必要条件推理。实验结果新发现,充分条件推理和必要条件推理有不同的推理模式。充分条件肯定前件格式推理的正确率明显大于逻辑对应的必要条件肯定后件格式推理的正确率。充分条件否定前件格式推理的正确率与逻辑对应的必要条件否定后件格式推理的正确率无显著差异。充分条件肯定后件格式推理的正确率与逻辑对应的必要条件肯定前件格式推理的正确率无显著差异。充分条件否定后件格式推理的正确率明显小于逻辑对应的必要条件否定前件格式推理的正确率。
-
关键词
条件推理
充分条件
必要条件
推理格式
-
Keywords
conditional reasoning, sufficient condition, necessary condition, reasoning format
-
分类号
B812
[哲学宗教—逻辑学]
-
-
题名条件句语义关系性质对条件推理的影响
- 4
-
-
作者
王墨耘
周泽志
-
机构
陕西师范大学心理学院
-
出处
《心理学探新》
CSSCI
2013年第4期322-328,共7页
-
基金
教育部人文社会科学基金一般项目(09YJAXLX016)
国家自然科学基金面上项目(31070901)
教育部中央高校基本科研业务费专项资金(GK200901021)
-
文摘
该研究用以大学生为被试的实验系统考察比较了三种条件句(充分条件、必要条件和充要条件)与四种推理格式(MP、DA、AC和MT)组合形成的12种条件推理的特点。实验结果发现,被试对大多数条件推理问题的众数反应是正确的,条件句种类和条件推理格式对条件推理的影响显著,二者都是通过推理问题所涉及的语义关系性质这个中介而影响正确结论的性质。12种条件推理问题的成绩结果主要取决于推理问题所涉及的语义关系的性质:充分的语义关系导致肯定的回答,必要的语义关系导致否定的回答,不充分的语义关系和不必要的语义关系都导致不确定的回答。
-
关键词
条件推理
充分条件
必要条件
充要条件
推理格式
语义关系
-
Keywords
conditional reasoning
sufficient condition
necessary condition
sufficient and necessary condition
reasoning format
semantic relation
-
分类号
B842.5
[哲学宗教—基础心理学]
-
-
题名命题逻辑与数学证明方法(Ⅱ)
被引量：2
- 5
-
-
作者
孙宗明
梁凤鸣
-
机构
泰山学院数学与统计学院
泰山学院学报编辑部
-
出处
《泰山学院学报》
2013年第6期4-10,共7页
-
文摘
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法.
-
关键词
推理
推理格式
数学证明
数学证明方法
-
Keywords
deduction
deduction form
mathematical proof
methods of mathematical proofs
-
分类号
O141
[理学—基础数学]
-
-
题名从感性认识向理性认识飞跃的奥秘
被引量：5
- 6
-
-
作者
赵宋光
-
机构
星海音乐学院
-
出处
《现代哲学》
1986年第2期23-27,共5页
-
文摘
长期以来,人们都相信这样一个命题——感性认识积累多了,就会引起质的飞跃,产生理性认识。本人对此却产生异议。
-
关键词
感性认识
认识飞跃
理性认识
形式运演
推理格式
认识过程
感性材料
数量关系
完形
主动性
-
分类号
B15
[哲学宗教—世界哲学]
-
-
题名命题逻辑与数学证明方法(Ⅲ)
被引量：1
- 7
-
-
作者
孙宗明
-
机构
泰山学院数学与统计学院
-
出处
《泰山学院学报》
2014年第6期18-22,共5页
-
文摘
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.
-
关键词
反证法推理格式
反证法
数学证明方法总结
-
Keywords
deduction form of proof by contradiction, proof by contradiction, summary on method ofmathematical proofs
-
分类号
O141
[理学—基础数学]
-
-
题名章太炎对西方逻辑、印度因明和墨家逻辑的对比研究
- 8
-
-
作者
彭漪涟
-
机构
华东师范大学哲学系
-
出处
《江汉论坛》
1987年第11期43-47,共5页
-
文摘
章太炎对近代中国逻辑科学发展的重要贡献,不仅在于他结合中国古代的名辩思潮及其有关论著,阐发了一些具体的逻辑原理,而且,也许还更重要的是,在于他用西方逻辑、印度因明来参照解释《墨经》等中国古典逻辑著作的基本内容,从而自觉地、系统地进行了世界历史上三种古老的逻辑科学的对比分析和研究.本文就是试图对章太炎在这一方面的成就和贡献进行初步的分析和探讨.一墨家逻辑学、印度因明和西方逻辑学是世界文化史上三个古老的民族(中国。
-
关键词
西方逻辑学
墨家逻辑
中国古典逻辑
墨经
基本内容
逻辑原理
逻辑科学
逻辑思想
推理格式
中国逻辑
-
分类号
C55
[社会学]
-
-
题名高等代数中的间接证法
- 9
-
-
作者
孔德宝
-
机构
呼伦贝尔学院数学系
-
出处
《呼伦贝尔学院学报》
2002年第1期55-56,共2页
-
文摘
用反证法。
-
关键词
反证法
反例
高等代数
间接证法
命题逻辑
推理格式
-
分类号
O13
[理学—基础数学]
O141.2
[理学—基础数学]
-
-
题名藏传因明推论式与形式逻辑“三段论”
被引量：2
- 10
-
-
作者
祁顺来
-
机构
青海民院少语系
-
出处
《青海民族研究》
CSSCI
1997年第1期37-43,共7页
-
-
关键词
三段论推理规则
藏传因明
因明三支论式
形式逻辑
因三相
推理格式
为他比量
性质判断
为自比量
推理方法
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名浅谈藏传因明的应成推论式
- 11
-
-
作者
祁顺来
-
机构
青海民院少语系
-
出处
《青海民族大学学报（社会科学版）》
北大核心
1996年第2期1-5,共5页
-
文摘
浅谈藏传因明的应成推论式祁顺来应成推论式是大乘佛教中观应成派用来驳斥他人主张、维护自身义理的一种特殊推理格式。所谓中观应成派，是指以佛护、月称等论师为首的中观派大师以应成推理格式解说龙树菩萨之《中观根本颂》而得名的一种大乘佛教流派。我们在探讨“量学”...
-
关键词
应成推论
论式
藏传因明
推理格式
因三相
因明学
推理规则
大乘佛教
逻辑关系
喜饶大师
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名逻辑综述──《形式逻辑导引》之序
- 12
-
-
作者
何伊德
-
出处
《贵州师范大学学报（社会科学版）》
1995年第4期61-65,76,共6页
-
-
关键词
传统形式逻辑
制约逻辑
真值函数
逻辑结构
逻辑思考
现代逻辑
相关逻辑
传统逻辑
逻辑科学
推理格式
-
分类号
B812
[哲学宗教—逻辑学]
-
-
题名初探学生几何题“过程书写”提高的方法
- 13
-
-
作者
叶笔光
-
机构
广东省惠东县稔山中学
-
出处
《中国科技经济新闻数据库 教育》
2016年第12期304-304,共1页
-
文摘
几何是数学知识中的重要内容之一,在中考考卷有关几何知识约占40%。学生到了初一才开始从实验几何向论证几何过渡,学生的几何基础相对于代数要薄弱,特别是过程书写方面。本文通过不同的角度,对学生开始学习几何之初遇到的问题的一点想法和做法展开论述,以提高学生的几何成绩。
-
关键词
几何证明
几何语言
推理格式
过程书写
证明方法
-
分类号
G634.6
[文化科学—教育学]
-
-
题名浅谈运用“双箭头”的教学探讨
- 14
-
-
作者
子云
-
机构
名山中学
-
出处
《雅安职业技术学院学报》
1996年第1期51-53,共3页
-
文摘
运用"双箭头"推理格式进行论证,在立体几体课本中被多次使用,"双箭头"的证法反映了几何证题的思维本质。有利于进一步了解几何证题的逻辑结构。同时书写起来,条理清楚,简明扼要,对培养学生思维的严谨性很有好处。
-
关键词
推理格式
严谨性
箭头
几何证题
抽象性
运用
简明扼要
论证
逻辑结构
平面
-
分类号
G633.6
[文化科学—教育学]
-
-
题名传统直言命题推理的当代形式逻辑剖析
- 15
-
-
作者
龚啟荣
-
出处
《思维与智慧（上半月）》
1993年第1期3-6,共4页
-
文摘
§1.引言由于传统的直言命题实际上是外延命题和内涵命题的浑沌的混合体,因此,建立在直言命题上的传统的名词逻辑实际上是外延名词逻辑和内涵名词逻辑的浑沌的混合体,其所提供的只能说是有时未必出新知的推导格式,而不能说全都是能出新知的推理格式:当其中出现的是外延命题时为本质上是同语反复的不能出新知的导出式;只有当在其中出现的是内涵命题时才是能得出新知的推理式。
-
关键词
形式逻辑
传统直言命题
推理式
导出式
外延命题
推理格式
内涵命题
当代
有限集
命题逻辑
-
分类号
B80
[哲学宗教—思维科学]
-
