数学命题与其教学.ppt

数学命题及其教学 数学命题概述 数学命题学习的心理分析 命题教学的基本要求和教法探讨 数学命题概述 判断的意义和种类 1.数学判断 对思维对象有所肯定或否定的思维形式叫做“判断”。 数学判断是关于数学对象及其属性的判断。 按照思维对象的量，判断可分为：全称判断、特称判断、单称判断； 按判断的质来分有：肯定判断、否定判断； 按判断的关系来分有：定言判断、选言判断和假言判断。 2.常用的判断形式及其之间的关系 如果用S表示判断的对象，P表示性质 （1）全称肯定判断 “所有的S是P” （2）全称否定判断 “所有的S都不是P” （3）特称肯定判断 “有的S是P” （4）特称否定判断 “有的S不是P” S也叫做判断的“主项”，P也叫做“谓项”， “所有的”或“有的”表示主项的数量，叫做“量词”，在全称判断中量词常常省略不写； “是”或“不是”称为联结词，表示肯定或否定。 数学命题的意义 在数学中，用来表示数学判断的陈述句或符号的组合叫做“数学命题”。通常用“p,q,r,s,t···”来表示，并且称为命题变量（变项）。 对于无法判断其真假的语句，称为开（语）句。 注：形式逻辑专门研究判断的形式，而不管判断的内容，只从真值的角度研究命题的形式及各种命题之间的关系。但在数学中，既研究命题的内容，又研究命题的形式，把内容和形式统一起来研究数学命题。 如在形式逻辑中，命题“如果13,那么1+23+2.”√ 但在数学中× 请大家判断以下语句是否是数学命题： （1）数学是一门科学； （2） ； （3）63; （4）x+5=9; （5）x7; （6）你在干什么？ （7）禁止吸烟！ （8）2比3大吗？ （9）哎呀！那还得了！ 复合命题与逻辑联结词 数学命题一般可分为简单命题和复合命题两大类。简单命题就是不包含其他命题的命题，又可分为性质命题和关系命题两种。 象“一切矩形都是平行四边形”、“自然数不是无理数”、“有些奇数是素数”等都是性质命题； 象“一切正数都大于零”、“直线a平行于直线b”等都是关系命题。 复合命题是由两个或两个以上简单命题通过逻辑联结词结合起来而构成的命题。 常用的逻辑联结词有以下五种： 否定、合取、析取、蕴涵、等价 1.否定（非） ，其真值表如下： 2.合取（与，且） 3.析取（或） 4.蕴涵（如果···，则···） 5.等价（当且仅当） 复合命题的值 求复合命题的值，可先穷尽地列出p、q取值可能，然后再根据联结词的强弱顺序，逐步得出各层复合命题的值，直到最后求出整个复合命题的值。 联结词的强弱顺序： 逻辑等价 如果两个复合命题A、B的真值表相同，我们就称A、B逻辑等价。 记为“ ” 可以验证下列逻辑等价式： 假言命题的四种形式及其之间的关系 例子： 1.原命题：如果两个三角形全等，则这两个三角 形等积。 2.原命题：如果一个四边形是平行四边形，则它 的对角线互相平分。 3.原命题：如果一个四边形是平行四边形，则它的对角线互相垂直。 偏逆命题及其否命题 把原命题中数目相同的部分前提和结论互换后得到的命题称为原命题的偏逆命题。 例如原命题：如果a和b都是偶数，则a+b也是偶数。 请大家作出下面这个命题的偏逆命题： 如果四边形ABCD是平行四边形，则它的对边 相等。 充分条件和必要条件 如果命题“p→q”为真，那么，p就称为使q成立的充分条件，q就称为使p成立的必要条件。 充分而非必要条件：p→q真但q→p假. 必要而非充分条件：p→q假但q→p真. 充分必要条件：p→q和q→p均真，简称充要条件. 公理和定理 公理：作为证明其他一切命题的基础，而不加证明就承认其真实性的一组命题。 公理化方法：从尽可能少的原始概念和公理出发，应用形式逻辑的演绎推理，建立数学各分支理论体系的一种方法。 如：欧氏几何公理体系 公理的选取必须满足：相容性、独立性、完 备性 定理：根据已知概念和真命题，遵照逻辑规律，运用正确逻辑方法来证明其真实性的命题。 逆定理：一个定理的逆命题若为真，则称其为该定理的逆定理。 判定定理：用来确定某个对象存在的充分条件的定理。 性质定理：确定某个对象存在的必要条件的定理。 引理：为证明一个主要定理作准备，先证明的一个或几个“小定理”。 推论（或系）：从公理或定理直接推出来的定理。 证明题：在教材中通常列入例题或习题，作为推理 论证的练习。 分断式命题和配