数学的语法规则_逻辑推理

上传人:xmg****18 文档编号:120217858 上传时间:2020-02-05 格式:DOC 页数:17 大小:396KB
返回 下载 相关 举报
数学的语法规则_逻辑推理_第1页
第1页 / 共17页
数学的语法规则_逻辑推理_第2页
第2页 / 共17页
数学的语法规则_逻辑推理_第3页
第3页 / 共17页
数学的语法规则_逻辑推理_第4页
第4页 / 共17页
数学的语法规则_逻辑推理_第5页
第5页 / 共17页
点击查看更多>>
资源描述

《数学的语法规则_逻辑推理》由会员分享,可在线阅读,更多相关《数学的语法规则_逻辑推理(17页珍藏版)》请在金锄头文库上搜索。

1、.word格式,主题1 数学的语法规则逻辑推理 同学们,我们知道语文和外语都有自己的语法规则,数学作为一门描述大自然和经济生活的语言,当然也有自己的语法规则,这就是逻辑推理.法国著名的哲学家、数学家和物理学家笛卡尔曾经讲过:“几何学家惯于在极其困难的证明中运用简单而又容易的推理长链达至结论.这使我设想,凡是人能认识的事物全都以此方式相互联系,没有什么由于遥远而我们达不到的,或者由于隐蔽而发现不了的,只要我们力戒以假作真,始终在思想中保持从一个真理演绎出另一个真理所必需的秩序.”这段话深刻地说明逻辑推理对于数学和生活中的重要作用.正因如此,宝爸宝妈们已经从娃娃开始培养孩子的逻辑推理能力. 【数学

2、史话】 逻辑学的历史和现状 大约在公元前6世纪左右,古代中国、古代印度和古希腊的学者,就各自独立地建立了自己的逻辑学说.他们分别是“名辨之学”、因明和古希腊的逻辑学.其中,古希腊的逻辑学最为系统,因而在世界逻辑学发展史上影响也最大、最深.古希腊学者亚里士多德被认为是古希腊逻辑学的创始人,他在其由后人整理并取名为工具论的著作中,第一次全面、系统地论述了传统形式逻辑,提出了有关范畴、命题、三段证明和谬误等一系列重要论述和思想.他所创立的逻辑学,逻辑史上称之为古典的或传统的形式逻辑(“形式逻辑”这一称呼是17世纪康德提出的)或古典的演绎逻辑.这一逻辑的主要特点在于:它是建立的对范畴的研究基础之上,即

3、它主要涉及范畴、又范畴组成的命题、由命题组成的三段论和论证等.这是古代逻辑中较为完整地建立起来的一个三段论系统,它构成了逻辑的一个初等的、但是重要的部分.亚里士多德以后,麦加拉-斯多葛学派研究了亚里士多德逻辑中欠缺的有关假言命题、选言命题、连言命题等属于复合命题的问题,研究了由这些命题所组成的各种推理形式及其规则,奠定了命题逻辑的基础.这是传统形式逻辑的一个重大发展,极大地丰富了传统形式逻辑、主要是演绎逻辑的内容. 在近代,法国的阿尔诺与尼科尔根据笛卡尔的哲学、逻辑和方法论观点,于1662年发表了逻辑或思维的艺术一书.该书成为欧洲近代逻辑的范本,是传统形式逻辑,主要是传统演绎逻辑的主要代表作之

4、一. 17世纪末,法国哲学家莱布尼茨提出了逻辑数学化的思想,他在其1666年发表的论组合术一书中,提出了建立一种表意的普遍语言及思维演算,并成功地把命题表达为符号式,被公认为数理逻辑的先驱者.随后不到100年,英国数学家布尔用数学方法首倡了第一个逻辑演算系统-布尔代数,并把其中的符号解释为类时,布尔代数即为类代数,以及类逻辑的代表化,从而,把莱布尼茨的设想变成了现实,成为数理逻辑的早期形式.其后,再经德摩根、弗雷格等人的努力到 20世纪初,罗素和怀德合著数学原理,总结了前人的研究成果,建立了一个完全的命题演算与谓词演算系统,标志着数理逻辑作为一门独立的科学达到了成熟阶段.树立逻辑是再传统逻辑基

5、础上发展起来的,因而被是为形式逻辑的现代类型,一般也称之为现代形式逻辑或简称现代逻辑.近几十年来,现代逻辑得到迅速发展,至今已成为拥有众多分支的学科.古代中国的逻辑学说形成于春秋战国时期,称为“名辨之学”.名家的邓析以及稍后的惠施和公孙龙,儒家的孔子,墨家的墨子,都对名辩逻辑的产生做出了重要贡献.后期墨家则在墨经中建立起一个逻辑体系,达到了中国古代逻辑发展的高峰.此后,荀子、韩非等也对名辩逻辑的发展起到了重要作用.可惜秦汉以后,由于种种原因,我国古代曾经兴起一时的逻辑学说却走向了衰落,没有获得进一步发展.直到近代,随着西方逻辑的传入,我国的逻辑研究才重又复兴,先秦时期的宝贵遗产也得到了重视.

6、数学家、逻辑学家布尔布尔(BooleGeorge)是英国数学家及逻辑学家,1815年11月2日生于林肯,1864年12月8日卒于爱尔兰的科克.布尔是鞋匠之子,他完全靠自己的力量爬上去.他原想做牧师,但是他十六岁时在私立学校教数学,到1835年他自己开办一所学校.1849年,(尽管他没有学位)他被任命为科克的女王学院的数学教授,从此他才有了比较安稳的生活保证.他一直在此学院度其余生.布尔的大发现就是用一套符号来进行逻辑演算,大约二百年前莱布尼兹曾经摸索过一些.他通过仔细地选择使这些符号及运算类似于代数的符号及运算.在布尔代数中,符号可以按照固定的规则来处理.而得出合乎逻辑的结果. 布尔的前辈对是

7、否进行这种研究一直犹豫不决.(它牵涉到改进亚里士多德的工作,、而人们对于改进亚里士多德的工作的尝试总有点犹豫不决.)然而布尔敢于这么干.1847年他出版了这方面的第一本书.书并不厚,但足以使他出名而使科克的学院聘他任教.1854年,他出版了思维规律的研究一书,其中完满地讨论了这个主题并奠定了现在所谓的符号逻辑的基础.逻辑的数学化(好比亚里士多德把音乐数学化)并没有很快给当时的数学家留下印象.或许人们认为它只不过是错综复杂的文字游戏而已.然而,后来发现,符号逻辑对于建立数学的哲学是非常有用的(并且叹实是必不可少的).尝试把数学建立在严格逻辑基础上(从欧几里得时起,已经整整二十一个世纪了,对于古人

8、和一直到洛巴切夫斯基时代的追随者们,欧几里得似乎已经成功地完成这项任务)首先是弗雷格在进行,而怀特黑德和罗素使之达到顶峰:布尔代数就是用于这个目的.【数学应用】 逆否命题用处大四种命题间有两对互逆关系,两对互否关系,两对互为逆否的关系,互为逆否的两命题同真同假,在判断和证明中要注意它们之间的相互转化由于原命题和它的逆否命题有相同的真假性,所以在直接证明一个命题的真假有困难时,可通过证明它的逆否命题为真来间接证明原命题为真,即正难则反的思想例1.主人要邀请张三、李四、王五三个人吃饭聊天,时间到了,只有张三、李四准时赴约,王五打电话说:“临时有急事,不能来了”主人听了随口说了句:“你看看,该来的没

9、有来”张三听了,脸色一沉,起来一声不吭地走了,主人愣了片刻,又道了句:“哎哟,不该走的又走了”李四听了大怒,拂袖而去请你用逻辑学原理解释二人的离去原因张三走的原因是:“该来的没有来”的等价命题是“来了不该来的”,张三觉得自己是不该来的,所以走了李四走的原因是:“不该走的又走了”的等价命题是“没有走的人是该走的”,李四觉得自己是应该走的例2.判断命题“已知,为实数,若关于的不等式的解集非空,则”的逆否命题的真假. 分析1:写出原命题的逆否命题,直接判断其真假. 解法1:原命题的逆否命题为“已知,为实数,若,则关于的不等式的解集为空集”.判断如下:抛物线开口向上,判别式.因为,所以,即抛物线与轴无

10、交点,所以关于的不等式的解集为空集.故逆否命题为真.分析2:先判断原命题的真假,再利用原命题与其逆否命题的等价关系判断原命题的真假.解法2:因为,为实数,且关于的不等式的解集非空,所以,所以.因为,所以原命题为真.又因为原命题与其逆否命题等价,所以逆否命题为真. 分析3:因为问题涉及到不等式的解集,可利用集合的包含、相等关系求解.解法3:命题:关于的不等式有非空解集,命题:.所以:关于的不等式有实数集 ,:. 因为,所以“若,则”为真,所以其逆否命题“若,则”为真,所以原命题的逆否命题为真. 公务员考试中的常用逻辑问题每道题选给出定义,然后列出四种情况,要求你严格依据定义,从中选出一个最符合或

11、最不符合该定义的答案.注意:假设这个定义是正确的,不容置疑的.1.集合概念是以事物的集合体为反映对象的概念.集合体是由许多个体组成的统一整体,集合体所具有的属性,只为该集合体所具有,而不必为这个集合体中的某一个体所具有.集合概念所涉及的关系不同于类和分子的关系,也不完全同于整体和部分的关系.组成类的各个分子都必然具有类的属性,而组成集合体的个体却不具有集合体的属性;整体是由不同的部分组成的,而集合体则是由同类的个体组成的.根据上述定义,下列划线语词在当前语境下所反映的概念不是集合概念的是:A.人定胜天 B.主权在民 C.羊入虎口 D.正义之师2.命题可以分为四种:伪命题,指的是无真假可言的命题

12、;永真命题,指的是不论在何种情况下都不可能假的命题;永假命题,指的是不论在何种情况下都不可能真的命题;可满足命题,指的是在有些情况下为真在有些情况下为假的命题.根据上述定义,下列属于永真命题的是:A.存在即合理 B.思想或者是可捉摸的,或者不可捉摸的C.人既能在不同时间跨进同一条河流,又不能在不同时间跨进同一条河流D.地球是一直围绕太阳旋转的3.相邻效应指的是个体或者组织的付出和其应该获得的利益之间存在不一致,但由此形成的费用差别和收益差别在社会上却没有相应的弥补来源.根据上述定义,下列不涉及相邻效应的是:A.某厂训练的熟练工跳槽到其他厂家工作B.工厂的生产活动中产生的允许范围内的噪音对周边居

13、民的生活有影响C.甲厂生产的品牌电脑非常畅销,乙厂也盗用该品牌进行销售D.邻居甲家养护良好的草坪花木常常使得习惯早起的乙神清气爽4.直接证据是指能够直接证明刑事案件主要事实的证据,间接证据是指不能够单独地直接证明刑事案件主要事实,需要与其他证据相结合才能证明的证据.所谓刑事案件的主要事实,是指犯罪行为是否系犯罪嫌疑人、被告人所实施.根据上述定义,下列属于直接证据的是:A.小区监控拍摄下的犯罪嫌疑人李某盗窃车辆的视频B.被害人的邻居王某提供的犯罪嫌疑人在案发前到过案发现场的证言C.刑警在凶案现场提取到的男性鞋印D.诈骗案受害人姜某提供的自己所遭受的金钱损失的银行记录5.布利丹效应源于法国哲学家布

14、利丹讲述的一个寓言故事:一头驴子外出觅食,发现两堆相距不远的草料.东边是一大堆干草料,西边是一小堆新鲜的嫩草.驴子很高兴,跑到大堆的干草料处,刚要吃,突然想到西边草料那么新鲜,肯定好吃,不去可能会被别的驴子吃掉.于是它就跑到嫩草堆前,刚要吃又想,这堆草虽然很嫩,可别的驴子把那一大堆干草料吃光的话自己就要饿肚子了,还是回去吃干草吧!就这样来来回回,这只可怜的驴子,最后饿死在草堆旁.根据上述定义,下列不符合布利丹效应的是:A.弈者举棋不定,终之拜矣 B.一山望着一山高C.凡事预则立,不预则废 D.鱼,我所欲也;熊掌,亦我所欲也 答案:1.D此定义的关键词是“由许多个体组成的统一整体”,很显然A选项

15、中的“人”、B选项中的“民”、C选项中的“羊”都符合这个定义要求.此题要求选择不是集合概念的,D选项中的“师”是对某类部队的定性,不是个体组成的整体,因而选择D.2.B此题属于定义匹配题.要选择属于“永真命题”的,此定义的关键词是“不论在何种情况下都不可能假”,B选项是或关系命题,对于或关系来说,只要一真则全真,因而符合该定义要求;A选项属于“可满足命题”;C选项属于“伪命题”;D选项属于“可满足命题”.所以此题选择B选项.3.B此定义的关键词是“个体或者组织的付出和其应该获得的利益之间存在不一致”,B选项不涉及“付出和利益的不一致”;A选项中“熟练工跳槽”、C选项中“乙盗用品牌”、D选项中“甲养的花而获利的是乙,存在不一致”.此题选择不涉及该定义的,因而选择B选项.4.A双定义题,要求选择属于“直接证据”的,此定义的关键词是“能够直接证明刑事案件主要事实”,A选项符合定义的要求,监控视频可以直接证明案件事实;B选项中“在案发前到过案发现场的证言”,只是“案发前的”不能直接证明事实;C选项中的“在现场提取的脚印”也无法直接证明事实;D选项中的“遭受损失的银行记录”需要结合其他证

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 大杂烩/其它

电脑版 |金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号