中学数学的逻辑基础课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《中学数学的逻辑基础课件.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 中学数学 逻辑 基础 课件
- 资源描述:
-
1、第四章中学数学的逻辑基础第四章中学数学的逻辑基础“初等数学,即常数的数学,是在形式初等数学,即常数的数学,是在形式逻辑的范围内活动的,至少总的来说是这逻辑的范围内活动的,至少总的来说是这样。样。”恩格斯恩格斯形式逻辑是研究思维形式形式逻辑是研究思维形式(概念、判断、推理、概念、判断、推理、证明证明)及其规律及其规律(同一律、矛盾律、排中律、充同一律、矛盾律、排中律、充足理由律足理由律)的一门科学,数学有其自身特有的的一门科学,数学有其自身特有的逻辑系统,具有严密的逻辑性。对于中学数逻辑系统,具有严密的逻辑性。对于中学数学教师来说,首先应该掌握中学数学逻辑的学教师来说,首先应该掌握中学数学逻辑的
2、有关基础知识。有关基础知识。第四章中学数学的逻辑基础第四章中学数学的逻辑基础 4.1中学数学概念中学数学概念 4.2中学数学命题中学数学命题 4.3形式逻辑的基本规律形式逻辑的基本规律 4.4中学数学推理中学数学推理 4.5中学数学证明中学数学证明 4.6中学数学概念与命题的教学中学数学概念与命题的教学 4.7中学数学思维中学数学思维4.1中学数学概念中学数学概念 一、概念的意义一、概念的意义 1、概念、概念:是反映客观事物本质属性的思维形式。:是反映客观事物本质属性的思维形式。 2、数学概念、数学概念:现实世界中空间形式和数量关系及:现实世界中空间形式和数量关系及其本质属性在思维中的反映。其
3、本质属性在思维中的反映。 3、从数学概念、从数学概念产生的客观背景产生的客观背景来说,一般有两种来说,一般有两种情形:情形: 直接从客观事物的空间形式或数量关系反映来的。直接从客观事物的空间形式或数量关系反映来的。如几何中的点的概念,算术中的自然数概念等。如几何中的点的概念,算术中的自然数概念等。 在原有的数学概念的基础上,经过多层次的抽象在原有的数学概念的基础上,经过多层次的抽象概括而形成的。如近代数学中的群、环、域概念等。概括而形成的。如近代数学中的群、环、域概念等。 4、数学概念的特点:、数学概念的特点: 数学概念具有抽象性与具体性。数学概念具有抽象性与具体性。 数学概念具有相对性与发展
4、性。数学概念具有相对性与发展性。 数学概念的定义、名词、符号数学概念的定义、名词、符号“三位一体三位一体”,处,处于一个完整的科学体系之中。于一个完整的科学体系之中。4.1中学数学概念中学数学概念 二、概念的结构二、概念的结构 1、概念分为概念的内涵和概念的外延两部分、概念分为概念的内涵和概念的外延两部分 内涵内涵:是指表达这个概念所包含的所有对象的共同:是指表达这个概念所包含的所有对象的共同属性的总和属性的总和(或集合或集合)。反映了概念的质。反映了概念的质 外延:外延:概念所反映事物的范围概念所反映事物的范围(或集合或集合)。即适合这个。即适合这个概念的一切对象的全体。反映了概念的量概念的
5、一切对象的全体。反映了概念的量 2、概念的内涵和外延的关系、概念的内涵和外延的关系 内涵扩大,则外延缩小。内涵扩大,则外延缩小。叫做概念的限定叫做概念的限定。通常。通常为了加深对某个概念认识或用较一般的概念来说明为了加深对某个概念认识或用较一般的概念来说明特殊的概念。特殊的概念。 内涵缩小,则外延扩大。内涵缩小,则外延扩大。叫做概念的概括。叫做概念的概括。从特从特殊的概念认识一般的概念,或者为了认识同类概念殊的概念认识一般的概念,或者为了认识同类概念的共同性质。的共同性质。 只有在两个概念有只有在两个概念有从属关系从属关系时才成立。时才成立。4.1中学数学概念中学数学概念 三、概念间的关系三、
6、概念间的关系 概念间的关系是指概念的外延间的关系概念间的关系是指概念的外延间的关系 1、同一关系、同一关系:两概念外延完全重合。:两概念外延完全重合。 2、交叉关系、交叉关系:有且只有一部分外延重合。:有且只有一部分外延重合。 3、从属关系、从属关系:一个概念的外延完全包含在另一个概念:一个概念的外延完全包含在另一个概念的外延之中。的外延之中。 在从属关系中外延大的概念叫做上位概念在从属关系中外延大的概念叫做上位概念(或种概念或种概念),外延小的概念叫做下位概念外延小的概念叫做下位概念(或类概念或类概念)。矩形菱形两组。矩形菱形两组对边平行有一个角是直角四边形平行四边形对边平行有一个角是直角四
7、边形平行四边形 类差:一个概念的本质属性中用以区别于其它的类概类差:一个概念的本质属性中用以区别于其它的类概念的属性,叫做类差。念的属性,叫做类差。 4、矛盾关系、矛盾关系:两个概念外延互相排斥,但外延之和:两个概念外延互相排斥,但外延之和等等于于其最邻近的种概念的外延。其最邻近的种概念的外延。4.1中学数学概念中学数学概念 四、概念的定义四、概念的定义 1、给概念下定义给概念下定义:用已知的概念来认识未知概念,使未用已知的概念来认识未知概念,使未知的概念转化为已知的概念,叫做给概念下定义。概念知的概念转化为已知的概念,叫做给概念下定义。概念的定义都是由下定义的概念的定义都是由下定义的概念(已
8、知概念已知概念)与被下定义的概与被下定义的概念念(未知概念未知概念)这两部分组成。这两部分组成。 定义是建立概念的逻辑方法。定义是建立概念的逻辑方法。 下定义的模式有两种:一是通过揭示概念的内涵来给下定义的模式有两种:一是通过揭示概念的内涵来给出定义,二是通过揭示概念的外延来给出定义。出定义,二是通过揭示概念的外延来给出定义。 2、定义的几种方式、定义的几种方式 “种种+类差类差”定义法:定义法:根据概念的从属关系,规定被定根据概念的从属关系,规定被定义概念的上位概念中是邻近的种概念,然后指出被定义义概念的上位概念中是邻近的种概念,然后指出被定义概念在它的种概念里区别于其他类概念的本质属性的一
9、概念在它的种概念里区别于其他类概念的本质属性的一种定义方法。如平行四边形。种定义方法。如平行四边形。4.1中学数学概念中学数学概念 四、概念的定义四、概念的定义 2、定义的几种方式、定义的几种方式 发生定义:发生定义:把只属于被定义事物,而不属于其它任何把只属于被定义事物,而不属于其它任何事物的发生或形成的特有属性作类差的定义。如:代数事物的发生或形成的特有属性作类差的定义。如:代数式的值的定义。平面式的值的定义。平面(空间空间)上与定点等距离的点的轨迹上与定点等距离的点的轨迹叫做圆叫做圆(球球)。圆柱、圆锥、微分、积分、坐标系等。圆柱、圆锥、微分、积分、坐标系等。 逆式定义法逆式定义法:是通
10、过列举概念的全部对象,即给出概:是通过列举概念的全部对象,即给出概念外延的定义法。也叫做归纳定义法或外延定义法。在念外延的定义法。也叫做归纳定义法或外延定义法。在外延定义中,外延定义中,DS是种,而是种,而DP是是DS诸邻近类概念的总诸邻近类概念的总和。如:整数与分数统称为有理数,实数的定义;正弦、和。如:整数与分数统称为有理数,实数的定义;正弦、余弦、正切、余切函数叫做三角函数;椭圆、双曲线、余弦、正切、余切函数叫做三角函数;椭圆、双曲线、抛物线叫做圆锥曲线;逻辑的和、非、积运算叫做逻辑抛物线叫做圆锥曲线;逻辑的和、非、积运算叫做逻辑运算等。运算等。4.1中学数学概念中学数学概念 四、概念的
11、定义四、概念的定义 2、定义的几种方式、定义的几种方式 约定式定义:约定式定义:依据数学上的某种特殊需要,通过约定依据数学上的某种特殊需要,通过约定的方式来下的定义。这种定义方法,一般是利用意义已的方式来下的定义。这种定义方法,一般是利用意义已经确定的表达式,去规定新引入的表达式的意义。如:经确定的表达式,去规定新引入的表达式的意义。如:为了使同底数幂的除法法则,在被除式的指数等于除式为了使同底数幂的除法法则,在被除式的指数等于除式指数时也能适用,把指数时也能适用,把“零指数零指数”的概念规定为:的概念规定为:a0=1(a0););0!=1。 关系定义:关系定义:是以事物间的关系作为类差的定义
12、,它指是以事物间的关系作为类差的定义,它指出这种关系是被定义事物所具有而任何其它事物所不具出这种关系是被定义事物所具有而任何其它事物所不具有的特有属性。如:偶数的定义。偶数:有的特有属性。如:偶数的定义。偶数:能被能被2整除整除(A)的)的整数整数(B)叫做)叫做偶数偶数(C)。其中)。其中A是是B和和C的的关系。关系。4.1中学数学概念中学数学概念 四、概念的定义四、概念的定义 2、定义的几种方式、定义的几种方式 其它定义方法:其它定义方法: 递归定义递归定义(递推式定义法。如递推式定义法。如 n阶行列式、阶行列式、n阶导数、阶导数、n重积分的定义重积分的定义)、 描述性定义法描述性定义法(
13、如等式、极限的定义如等式、极限的定义) 公理定义法。公理定义法。4.1中学数学概念中学数学概念 四、概念的定义四、概念的定义 3、定义的规则、定义的规则 定义必须是相称的。定义必须是相称的。即定义项和被定义项的外延必须即定义项和被定义项的外延必须是相同的,既不能扩大,也不能缩小,应当恰如其分。是相同的,既不能扩大,也不能缩小,应当恰如其分。如无理数是指无限不循环小数,而不能用无限小数如无理数是指无限不循环小数,而不能用无限小数(过过宽宽)和不尽方根和不尽方根(过窄过窄)来定义无理数。来定义无理数。 定义不能循环。定义不能循环。即在同一个科学系统中,不能以即在同一个科学系统中,不能以A概概念来定
14、义念来定义B概念,而同时又以概念,而同时又以B概念来定义概念来定义A概念。如:概念。如:“加法是求几个数和的方法加法是求几个数和的方法”。900的角叫做直角。的角叫做直角。 定义应当清楚、简明,一般不用否定形式和未知的概定义应当清楚、简明,一般不用否定形式和未知的概念念。即定义要简明扼要,所列定义项必须是确切的概念,。即定义要简明扼要,所列定义项必须是确切的概念,不能用譬喻或其他含糊的说法代替定义。如:笔直笔直不能用譬喻或其他含糊的说法代替定义。如:笔直笔直的线的线(不清楚不清楚),叫做直线;两组对边互相平行的平面平,叫做直线;两组对边互相平行的平面平行四边形行四边形(不简明不简明);不是有理
15、数的数,叫做无理数;不是有理数的数,叫做无理数(否定否定形式形式)。对初中生来说,在复数。对初中生来说,在复数a+bi中,虚部中,虚部b=0的数叫的数叫做实数做实数(应用未知概念应用未知概念)。4.1中学数学概念中学数学概念 五、概念的系列五、概念的系列 1、在一个科学系统中,有些概念可依一定顺序、在一个科学系统中,有些概念可依一定顺序构成一个逻辑链,组成一个概念系列。构成一个逻辑链,组成一个概念系列。 2、原名:这种不能用别的概念(名称)来定义、原名:这种不能用别的概念(名称)来定义的,且又用它来定义其他概念(名称)的概念的,且又用它来定义其他概念(名称)的概念(名称),叫做原始概念,简称为
16、原名。(名称),叫做原始概念,简称为原名。4.1中学数学概念中学数学概念 六、概念的分类六、概念的分类 1、分类、分类(划分划分)的定义的定义 分类分类(划分划分)是揭示概念外延的逻辑方法。是揭示概念外延的逻辑方法。 2、分类的规则、分类的规则 分类应按同一标准进行。分类应按同一标准进行。 分类应逐级进行。分类应逐级进行。 分类不重复,不遗漏、应当是相称的。分类不重复,不遗漏、应当是相称的。 分类后各个子类应当互不相容。分类后各个子类应当互不相容。 3、二分法、二分法 二分法是按概念的对象有无某一属来进行的划分二分法是按概念的对象有无某一属来进行的划分。4.1中学数学概念中学数学概念 思考与练
17、习:思考与练习: 1、阅读、阅读 2、写出概念、写出概念“钝角钝角”的关系定义,写出的关系定义,写出“圆锥圆锥”的发生定义,写出实数幂的发生定义,写出实数幂an(n=0、1、2.) 的递的递归定义,写出不等边三角形的否定式定义。归定义,写出不等边三角形的否定式定义。 3、给出、给出“函数函数”概念的两个不同的分类。概念的两个不同的分类。 4、何谓数学概念,数学概念的外延与内涵?试、何谓数学概念,数学概念的外延与内涵?试举例说明。举例说明。 5、数学概念之间有哪些关系?试举例说明。习、数学概念之间有哪些关系?试举例说明。习题题P36 2 6、数学概念常用的定义方式有哪些?正确的定、数学概念常用的
18、定义方式有哪些?正确的定义要符合哪些要求?习题义要符合哪些要求?习题P36 3 7、将数学概念分类有何意义?正确的分类应符、将数学概念分类有何意义?正确的分类应符合哪些要求?习题合哪些要求?习题P36 4。 4.2中学数学命题中学数学命题 一、判断一、判断 1、判断的定义、判断的定义 人们对客观事物的情况有所肯定或者否定的思维形式,人们对客观事物的情况有所肯定或者否定的思维形式,叫做判断。叫做判断。 2、判断的分类:、判断的分类:按判断的构成,判断分为简单判断和按判断的构成,判断分为简单判断和复合判断复合判断 简单判断简单判断:在一个判断中若不含其它判断,则称为:在一个判断中若不含其它判断,则
19、称为简单判断。简单判断。 性质判断:直接对客观对象的性质作肯定或否定的性质判断:直接对客观对象的性质作肯定或否定的简单判断,叫做性质判断。简单判断,叫做性质判断。 关系判断:判断对象与对象之间存在某种关系的简关系判断:判断对象与对象之间存在某种关系的简单判断,叫关系判断。单判断,叫关系判断。 复合判断复合判断:由两个或两个以上的简单判断用连接词:由两个或两个以上的简单判断用连接词构成的判断叫做复合判断。有下面的四种基本形式:构成的判断叫做复合判断。有下面的四种基本形式:4.2中学数学命题中学数学命题 一、判断一、判断 复合判断复合判断有下面的四种基本形式:有下面的四种基本形式: A负判断:负判
20、断:用连接词用连接词“非非”构成,记为构成,记为P或,读或,读作作“非非P”。如:当。如:当P表示表示“所有质数都是奇数所有质数都是奇数”(假),则(假),则P 表示表示“并非所有的质数都是奇并非所有的质数都是奇数数”,即,即“有些质数不是奇数(真)有些质数不是奇数(真)”。 B选言判断:由两个或两个以上判断有用连接选言判断:由两个或两个以上判断有用连接词词“或者或者”构成的判断,记为构成的判断,记为AB,读作,读作“A或或B”。如:一个大于。如:一个大于1的自然数是质数或是合的自然数是质数或是合数;一个三角形为直角三角形,或为钝角三角数;一个三角形为直角三角形,或为钝角三角形,或为锐角三角形
21、。形,或为锐角三角形。4.2中学数学命题中学数学命题 一、判断一、判断 复合判断复合判断有下面的四种基本形式:有下面的四种基本形式: C联言判断:用连接词联言判断:用连接词“且且”构成判断,表明构成判断,表明几个事物情况都存在。记为几个事物情况都存在。记为AB,读作,读作“A且且B”。如:。如:6可以被可以被2整除,且可被整除,且可被3整除;正方整除;正方形的四条边相等,且四个角也相等。形的四条边相等,且四个角也相等。 D假言判断:(又叫做蕴含判断),是判断假言判断:(又叫做蕴含判断),是判断P为为另一判断另一判断Q存在的条件的判断,叫假言判断。存在的条件的判断,叫假言判断。P、Q分别叫做该判
22、断的前件和后件(或题设和题分别叫做该判断的前件和后件(或题设和题断,条件和结论),一般表达式为断,条件和结论),一般表达式为“若若.,则则.。”或或“如果如果,那么,那么”。记成。记成P Q。如:若两三角形相似,则对应边成比例。如:若两三角形相似,则对应边成比例。4.2中学数学命题中学数学命题 二、命题二、命题 1、命题的意义、命题的意义:表示判断的语句叫做命题。:表示判断的语句叫做命题。 命题的形式:命题的形式:“若若A则则B”,或,或“A B”,其中,其中A为为条件,条件,B为结论。命题有真有假,有简单命和复合命为结论。命题有真有假,有简单命和复合命题。题。 常用的真命题:定义、公理、定理
23、、法则、性质、常用的真命题:定义、公理、定理、法则、性质、推论等推论等 2、命题的演算和复合命题、命题的演算和复合命题 否定(非):否定(非):否定命题否定命题P的内容的命题,称为的内容的命题,称为P的否的否定。记为定。记为“P”,读作,读作“非非P”,P=P 。 合取(与):合取(与):P、Q是两个简单命题,用连接词是两个简单命题,用连接词“且且”或或“与与”构成的命题。构成的命题。 P且且Q叫做叫做P和和Q合取,记作合取,记作“PQ”又称联言命题。又称联言命题。特征为同真为真,否则为假。特征为同真为真,否则为假。4.2中学数学命题中学数学命题 二、命题二、命题 2、命题的演算和复合命题、命
24、题的演算和复合命题 析取(或):析取(或):两个命题两个命题P、Q用连接词用连接词“或或”构成的构成的命题,命题,P或或Q”称为称为P、Q的析取,记为的析取,记为“PQ”。特征。特征为同假为假,否则为真。为同假为假,否则为真。 合取与析取的关系:合取与析取的关系:(PQ)=(P)(Q) 蕴含:蕴含:两个命题两个命题P、Q用连接词用连接词“若、则、若、则、”构成的命题。构成的命题。“若若P则则Q”称为称为P与与Q的蕴含,也称为充的蕴含,也称为充分条件,假言命题,分条件,假言命题, 记为记为“PQ”,P蕴含蕴含Q 。特征为真的假不了,否则。特征为真的假不了,否则为真。为真。 “等值等值” :给定两
25、个命题给定两个命题P、Q,用连接词,用连接词“等值等值”、“等价等价”、“当且仅当当且仅当”构成的命题。构成的命题。“P等值于等值于Q”叫做叫做P、Q的等值命题。记作的等值命题。记作“PQ”,读作,读作“P等等值值Q”或或“P当仅当当仅当Q”。4.2中学数学命题中学数学命题 二、命题二、命题 2、命题的演算和复合命题、命题的演算和复合命题 复合命题复合命题:由几个命题用否定、合取、析取、蕴含、:由几个命题用否定、合取、析取、蕴含、等值等演算得到的新命题叫做复合命题。等值等演算得到的新命题叫做复合命题。 命题演算的应用:命题演算的应用: PP是一个恒假命题,是一个恒假命题,PQP是一个恒真命题。
展开阅读全文