命题逻辑在数学解题中的应用.docx
- 文档编号:2097609
- 上传时间:2022-10-26
- 格式:DOCX
- 页数:12
- 大小:180.25KB
命题逻辑在数学解题中的应用.docx
《命题逻辑在数学解题中的应用.docx》由会员分享,可在线阅读,更多相关《命题逻辑在数学解题中的应用.docx(12页珍藏版)》请在冰豆网上搜索。
命题逻辑在数学解题中的应用
命题逻辑在数学解题中的应用
学生姓名:
指导老师:
一、引言
在一些数学竞赛和考试中我们经常会遇到一些很难推断推理的题,它们一般是用自然语言表述的,容易引起歧义,这时如果用一般的推断推理方法时,需要进行多个假设,即使通过很复杂的假设能够推断推理出结论,也不一定正确,而用我们所学的命题逻辑的知识进行系统的分析演算后,这些题就会很容易地得到解决,著名的数学家莱布尼茨说过“在人们有争议的时候,只要把他们想说的话写下,我们就可以简单的说,让我们进行演算,而无须进一步忙乱,就能看出谁是正确的。
”
那么怎样应用命题逻辑来解决这些问题呢?
我们中学所学过的证明题又是应用了什么样的逻辑依据呢?
在解决以上问题之前,先让我们来了解一下关于命题逻辑的一些相关知识。
二、相关知识
1.命题:
在特定范围、时间和空间内,具有唯一确定的真假性的陈述句。
也可以说是能够判断真假的陈述句。
2复合命题:
由简单命题用连结词联接而成的命题。
3.联结词:
将简单命题联结成复合命题的一种基本的词语。
主要有“否定”、“合取”、“析取”、“蕴涵”、“等价”这五种联结词。
否定联结词有“非”、“不是”等,如设是任一命题,复合命题“非”称为的否定式,可以表示为“”,“”称为否定联结词。
合取联结词有“且”、“并且”、“而且”等,如设,是两个命题,那么复合命题“并且”称为与的和取式,可以表示为“”,“”称为和取联结词。
析取联结词有“或”等,如设,是两个命题,那么复合命题“或”称为和的析取式,可以表示为“,“”称为析取联结词。
蕴涵联结词有“如果,那么”、“如果,则”等,如设,是两个命题,那么复合命题“如果,那么”,可以表示为“”,“”称为蕴涵联结词。
等价联结词有“当且仅当”,如设,是两个命题,那么复合命题“当且仅当”,可以表示为“”,“”称为等价联结词。
4.命题公式:
将命题常项和命题变项用联结词和圆括号按一定逻辑关系联系起来的符号串(也就是说命题公式不是单个命题而是几个命题通过联结词联接起来的一串的命题)。
若、为命题公式,那么,等,也为命题公式。
5.重言式:
若为一命题公式,如果在它的各种赋值下取值都为真。
三、命题逻辑在数学推断、推理题中的应用
在解决推断、推理题过程中,一般情况下我们会按照正常思维的方式来假设推断推理,但是常常会觉得思维混乱,推断推理复杂,有时候需要假设很多,所以很容易出错,但是如果用数学中的命题演绎推理就会事半工倍,推理思路清晰,方法简单明了,可以更容易且准确的解决这些问题。
数理逻辑中的命题逻辑是最简单也是最基础的,也是运用非常广泛,数理逻辑是研究命题间的推理,“命题”是研究的最小的单位,而命题逻辑在推断、推理题中的应用主要特征就是“形式化”,也就是将研究对象“数学推理”形式化。
形式化分为两步:
1.将推理系统符号化;2.符号化的命题和语言表述的公理和推理规则形成一个形式系统。
最后这种形式系统可按照命题演绎推理的方法进行推断或推理。
(一)在推断题中的应用
例1.某公司为了提高工作人员的专业工作能力,故决定派出几名优秀的工作人员出国考察学习,甲、乙、丙、丁、戊是公司从众多申请者中选出的几名比较合格的人员,但为了不影响正常工作需要,他们五个不能全去,所以这次选派必须满足以下条件:
如果甲被派出国学习,则乙也要被派出国学习;
丁、戊两人中必有人被选派出国学习;
乙、丙两人中有且仅有一人被选派出国学习;
丙、丁两人要么都派去,要么都不去;
若戊被派出学习,那么甲、乙也将被派出。
为了合理安排工作,那么根据这些条件这个公司应该从这五人中怎样挑选,挑选谁进行出国学习呢?
方法一:
一般的推断方法
分析:
此题是为了推断出几个人派出,谁应该派出,而且肯定有人被派出,但派出人数和人物不固定,那么我们就必须一个一个假设,看怎样的假设才是合理的。
假设如果甲一定被派出,那么根据条件我们可以推断出乙一定也被派出,又由可以推断出丙、丁都不去,那么根据条件又可推断出戊一定去,经过以上推断我们可得出一种选派方案:
甲、乙、戊被派出学习,丙、丁不会被派去。
假设如果乙一定被派出,那么由条件可以推断出丙、丁一定不被派出,而又由可以推断出戊一定被派出,那么由条件又可以推断出甲、乙也将会派出,经过以上推断我们也可得一种选派方案:
甲、乙、戊被派出学习,丙、丁不会被派去。
假设如果丙一定被派出,那么由条件可以推断出丁一定也被派出,由条件可以推出乙一定不被派出,而又条件可以推出戊可能派出,也可能不派出,假设如果戊被派出的话,由条件可以推出甲、乙一定也被派出,这就与前面的推理相矛盾,所以戊一定不被派出,因此由以上推断可以得到一种选派方案:
丙、丁被派出,甲、乙、戊不被派出。
假设如果丁一定被派出,那么由条件可以推断出丙一定派出,乙一定不被派出,又条件可以推出甲、戊一定也不被派出,所以由以上推断可得出一种派出方案:
丙、丁被派出,甲、乙、戊不被派出。
假设如果戊一定被派出,那么由条件可以推断出甲、乙一定也被派出学习,而又由可以推断出丙、丁一定不被派出,所以由以上的推断可以得出一种派出方案:
甲、乙、戊被派出学习,丙、丁不会被派去。
由以上的分析我们可以得出此公司只有两中派出方案:
一种是甲、乙、戊被派出学习,丙、丁不会被派去;另一种是丙、丁被派出,甲、乙、戊不被派出。
方法二:
用命题逻辑推断的方法
分析:
如果要推断他们五人谁去,又有怎样的派出方案,我们只需将必要的命题符号化,再根据所给条件写出各个命题公式,那么我们只需将变换成析取范式的形式,那么此题就可以解决。
将命题符号化:
令:
甲一定被派出学习;:
乙一定被派出学习;:
丙一定被派出学习;:
丁一定被派出学习;:
戊一定被派出学习
那么各条件可符号化为:
;;;;
由于各条件都是已知的,所以它们的合取式一定为真。
设:
=()()()()()
要想得到派出方案,只需求出的析取范式,那么求的析取范式的主要步骤是:
由上面的推断可以很容易得出只有两种方案:
一种是甲、乙、戊被派出学习,而丙、丁不会被派出;另一种是丙、丁被派出,而甲、乙、戊不被派出。
(二)在推理题中的应用
在推理题中用到命题演绎推理,而其中应用的各种推理规则大多是依靠推理定理完成的。
常用的推理定理有:
.附加
.化简
.假言推理
4.拒取式
5.析取三段论
6.假言三段论
例2.某大学为庆祝建校60周年,特别举行了“唱响未来”歌唱比赛,同学们踊跃参加,比赛圆满结束,比赛情况如下:
若赵获得了冠军,那么钱或孙获得了亚军;
若孙获得了亚军,那么赵一定不能获得冠军;
若李获得了亚军,那么钱一定不能获得亚军;
最后赵获得了冠军
那么有人说“李一定未获得亚军”
问:
这个人说的对吗?
并加以证明。
方法一:
一般的推理方法
分析:
一般做这样的推理题,想要推出所得的结论是否正确,我们首先得应用所给条件中最明了的,这道题中所给的条件我们可以看出“最后赵获得了冠军”,很明显的告诉了我们可以从这里着手。
因为“最后赵获得了冠军”,那么我们可以根据这条来推,由条件“若赵获得了冠军,那么钱或孙获得了亚军”,我们可以知道钱或孙获得了亚军。
假设钱获得了亚军,那么我们可以由“若李获得了亚军,那么钱一定不能获得亚军”推出李没有获得亚军。
所以这个假设可以推出这道推理题的推理结果是正确的。
假设孙获得了亚军,那么我们可以由“若孙获得了亚军,那么赵一定不能获得冠军”推出赵一定不能是冠军,这就与所给条件“最后赵获得了冠军”相矛盾了,所以这样的假设不成立。
所以只能是钱得亚军,而李一定未获得亚军。
方法二:
用命题逻辑推理的方法
分析:
当遇到这样的推理题时,如果用命题演绎推理,只需将一些命题符号化,然后应用一些推理定律,就可推出结果。
将命题符号化:
令:
赵获得了冠军;:
钱获得了亚军;:
孙获得了亚军;:
李获得亚军
前提条件:
,,,.
结论:
证明:
前提条件引入
前提条件引入
假言推理
的化简
的化简
前提条件引入
拒取式
拒取式
前提条件引入
拒取式
由此可以很明确的看出,上面的条件推出这个结论是正确的,李一定未获亚军。
上面的例1和例2分别用两种不同的方法解答,一种是我们常用的一般方法,一种就是应用了命题逻辑的相关知识,从中我们可以看出:
在一些推断推理题中,如果我们应用一般的方法,那么得进行多次假设,而且每次假设都得重新思考每句话之间的关系,得重新进行推断,这样进行的次数越多,那么思维也会越发混乱,因此这样的推断推理也将会浪费更多的时间,即使推出了结果也不一定正确,而如果应用命题逻辑来做的话,只需将必要的命题符号化,然后根据已知条件写出各个命题公式,联立公式进行一些等值变换或应用已知条件进行演绎推理,且不需要再反复推断推理就可以推出我们所想要的结论,所以思路及推断推理过程清晰,只需熟练掌握一些公式就可以又快又准确的解决这些推断推理题。
四、命题逻辑数学证明题中的应用
在数理逻辑中,证明是一个描述推理过程的命题公式序列,其中的每个命题公式或者是已知的前提,或者是由前提条件通过一些推理规则而得到的结论。
在我们解题过程中经常会遇到各种各样的数学证明题,而用来证明它们的方法也非常多,可归根就底来看这些方法实际上大多数都是命题逻辑的一些推理理论。
下面就通过一些实例来分析常见的数学证明方法的逻辑依据。
(一)直接证明法
直接证明法就是根据已知条件来直接推出结论的方法。
例1.如图1,四棱锥中,底面为矩形,侧面底面,,,.
图1图2
()证明:
;
证明:
()如上图2,取中点,连接交于点,
,,
又面面,面,
.
,
,,即,
面,.
逻辑分析:
在这道高考证明题中,主要用到了命题逻辑证明方法中的直接证明法,这也是证明中最常用的一种方法。
将命题符号化:
令底面为矩形,侧面底面,,,,
所以整个证明过程可以看作
为已知前提,为要证结论,若为正确的,则从前提推出结论的证明过程是正确的。
这种方法的逻辑依据为:
像这种证明方法,也就用到了命题逻辑判断推理是否正确的方法,就是判断重言蕴涵式的方法,即蕴涵式为推理的形式结构,为推理的前,为推理的结论,若为重言式,则从前提推出结论的推理正确。
(二)附加前提证明法
附加前提证明法就是将要证明结论中的条件作为已知前提条件来用的直接证明法。
例2.已知在数列{}中,成等差数列,成等比数列,证明:
若的倒数成等差数列,则成等比数列。
证明:
由已知,有
(1)
由,得
由
(1)得代入,得整理得
即
所以成等比数列.
逻辑分析:
从这道题中我们可以看出这不是我们所看到的一般证明的形式,也就是说不是从一些已知的前提直接来证明的,而它所需证明的是一个“若……,则……”的形式,即可符号化为蕴涵式“”,这时下面的证明却把这个要证明的蕴涵式的条件作为了已知的前提条件去用,像这样的证明方法也就是命题逻辑中的附加前提证明法。
这种证明方法的逻辑依据为:
设是个前提条件,是结论,那么推理形式结构为:
就是这道证明题的推理形式。
对进行下列等值演算:
.
在中我们可以清楚的看到原来结论中的前提条件已经变成了整个证明中的大前提条件,而它的地位和已经相同,这样就演变成了我们所一般用到的直接证明法,同时可以得到要证明式是重言式的话,只要证明式是重言式就可以。
因此,按进行推理时,称为附加条件,那么像这样的应用附加条件证明的方法方法就是附加条件证明法。
(三)归谬法(反证法)
归谬法就是将结论的否定作为前提条件引入推出矛盾,从而证明原推理过程正确的方法。
例3.证明:
若且,那么中至少有一个不小于0.
证明:
假设都小于0,也就
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 命题逻辑 数学 解题 中的 应用
![提示](https://static.bdocx.com/images/bang_tan.gif)