《数学命题教学》PPT课件.ppt
《《数学命题教学》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《数学命题教学》PPT课件.ppt(52页珍藏版)》请在三一办公上搜索。
1、第十章 数学命题及其教学,数学命题的逻辑基础数学命题的教学,数学命题的逻辑基础,判断的意义和种类1.数学判断 对思维对象有所肯定或否定的思维形式叫做“判断”。数学判断是关于数学对象及其属性的判断。判断与真假:判断有真假之分,是否符合客观实际情况、是否与事实相一致是一个判断真实与虚假的标准。2.判断的构成 如果用S表示判断的对象,P表示性质,则S叫做判断的“主项”,P也叫做“谓项”。“所有的”或“有的”表示主项的数量,叫做“量词”,在全称判断中量词常常省略不写;“是”或“不是”称为联结词,表示肯定或否定。,数学命题的意义 在数学中,用来表示数学判断的语句或符号的组合叫做“数学命题”。对于无法判断
2、其真假的语句,称为开(语)句。注:形式逻辑专门研究判断的形式,而不管判断的内容,只从真值的角度研究命题的形式及各种命题之间的关系。但在数学中,既研究命题的内容,又研究命题的形式,把内容和形式统一起来研究数学命题。如在形式逻辑中,命题“如果13,那么1+23+2.”但在数学中,4.数学命题,数学命题有真假之分。不是所有的语句或数学式子都是数学命题。在命题逻辑中,通常用“p,q,r,s,t”等表示命题,这种命题符号称为命题变元(变量、变项),命题变元的取值只能是“真”和“假”,分别用“1”和“0”表示。,请大家判断以下语句是否是数学命题:(1)数学是一门科学;(2);(3)67;(6)你在干什么?
3、(7)禁止吸烟!(8)2比3大吗?(9)哎呀!那还得了!,数学命题一般可分为简单命题和复合命题两大类。简单命题就是不包含其他命题的命题,又可分为性质命题和关系命题两种。象“一切矩形都是平行四边形”、“自然数不是无理数”、“有些奇数是素数”等都是性质命题;象“一切正数都大于零”、“直线a平行于直线b”等都是关系命题。,简单命题(1)性质命题性质命题:判断某事物具有(不具有)某种性质的命题。性质命题的结构:主项、谓项、量项和联项。有些 一元二次方程 没有 实数根(量项)(主项)(联项)(谓项)量项有“全称”和“特称”之分,联项有“肯定”和“否定”之分,将之组合,可以得到四种形式的性质命题:全称肯定
4、、全称否定、特称肯定、特称否定。此外还有单称肯定和单称否定。,(2)关系命题关系命题:判断事物与事物之间关系的命题关系命题的结构:主项、谓项和量项 直线a 平行于 直线b(主项)(谓项)(主项)(前项)(后项)数学中常见的是二元关系:aRb,复合命题与逻辑联结词 复合命题是由两个或两个以上简单命题通过逻辑联结词结合起来而构成的命题。常用的逻辑联结词有以下五种:否定、合取、析取、蕴涵、等价形成的命题分别称为:负命题、联言命题、选言命题、假言命题和充要条件假言命题,1.否定(非),其真值表如下:,否定(非):在一个语句之前加上“并非”,就构成一个新的语句,叫原来语句的否定。,2.合取(与,且),合
5、取(与、并且):两个语句p和q用“与”联接起来构成新的语句“p与q”称为合取式,亦称为联言命题,“p q”,3.析取(或),析取(或):两个语句p、q用或联接起来所构成的新的语句“q或p”称为析取式,亦称为选言命题,4.蕴涵(如果,则),P:a和b都是偶数,Q:a+b也是偶数。,当前件为假时,无论后件为真还是假,都不与原来的命题矛盾。,蕴涵(如果。,那么。):把命题p、q用“如果。,那么。联接起来,得到新的命题”如果p,那么q”,pq,这个式叫蕴涵式,“p蕴涵q”,p、q分别叫前后件(即前提和结论)。,5.等价(当且仅当),等价(当且仅当):将两个命题p、q用“当且仅当”联接起来,构成复合命题
6、“p当且仅当q”,pq,例如:(1)2+3=5(真)(2)47=30(假),等价式:(2+3=5)(47=30)(假)例如:(1)三角形两边之和小于第三边(假)(2)李白是清朝文人(假)。等价是:“三角形两边之和小于第三边”当且仅当“李白是清朝文人”(真),几点说明:一个命题中如果没有逻辑联接词出现,那么该命题一定是简单命题以上五种式子是复合命题中最简单的形式,由这些基本形式经过各种组合,可以得到更加复杂的复合命题。简单命题的真假由数学内容来决定,而经过复合后的命题其真假值则由真值表来决定。,复合命题的值,求复合命题的值,可先穷尽地列出p、q取值可能,然后再根据联结词的强弱顺序,逐步得出各层复
7、合命题的值,直到最后求出整个复合命题的值。联结词的强弱顺序:,恒真命题:一个命题在任何情况下都为真恒假命题:一个命题在任何情况下都为假,1 1 1 1,1 0 0 0,0 1 1 1,0 1 0 1,1 0 1 0,1 1 0 0,恒真命题,10111011,11110101,11111001,10110001,11111111,逻辑等价,如果两个复合命题A、B的真值表相同,我们就称A、B逻辑等价。记为“”,可以验证下列逻辑等价式:,幂等律,数学命题的四种形式及其关系为了更好地研究数学命题:若p则q,有必要研究命题的四种形式及其关系命题的四种形式:(1)原命题:pq;(2)逆命题:qp;(3)
8、否命题:pq;(4);逆否命题:qp。四种命题的关系:原命题和逆命题是互逆的,否命题和逆否命题是互逆的,原命题和否命题是互否的,逆命题和逆否命题是互否的,原命题和逆否命题是互为逆否的,逆命题和否命题是互为逆否的。,假言命题的四种形式及其之间的关系,例子:1.原命题:如果两个三角形全等,则这两个三角形等积。,逆命题:如果两个三角形等积,则这两个三角形全等。,否命题:如果两个三角形不全等,则这两个三角形不等积。,逆否命题:如果两个三角形不等积,则这两个三角形不全等。,真,假,假,真,2.原命题:如果一个四边形是平行四边形,则它的对角线互相平分。,逆命题:如果一个四边形的对角线互相平分,则它是平行四
9、边形。,否命题:如果一个四边形不是平行四边形,则它的对角线不互相平分。,逆否命题:如果一个四边形的对角线不互相平分,则它不是平行四边形。,真,真,真,真,3.原命题:如果一个四边形是平行四边形,则它的对角线互相垂直。,逆否命题:如果一个四边形的对角线不互相垂直,则它不是平行四边形。,逆命题:如果一个四边形的对角线互相垂直,则它是平行四边形。,否命题:如果一个四边形不是平行四边形,则它的对角线不互相垂直。,假,假,假,假,它们之间的关系可以用真值表来证明:,从真值表中可以得出:原命题和逆否命题等价;逆命题和否命题等价。所有四种命题中实质不同的只有两种,其它两种只是形式不同而已。在数学论证中经常用
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数学命题教学 数学 命题 教学 PPT 课件

链接地址:https://www.31ppt.com/p-5519253.html