第十章数学命题教学.ppt

第十章 数学命题及其教学 数学命题的逻辑基础 数学命题的教学 数学命题的逻辑基础 判断的意义和种类 1.数学判断 对思维对象有所肯定或否定的思维形式叫做“判断”。 数学判断是关于数学对象及其属性的判断。 判断与真假：判断有真假之分，是否符合客观实际情况、是否与事实相一致是一个判断真实与虚假的标准。 2.判断的构成 如果用S表示判断的对象，P表示性质，则S叫做判断的“主项”，P也叫做“谓项”。 “所有的”或“有的”表示主项的数量，叫做“量词”，在全称判断中量词常常省略不写； “是”或“不是”称为联结词，表示肯定或否定。 数学命题的意义 在数学中，用来表示数学判断的语句或符号的组合叫做“数学命题”。 对于无法判断其真假的语句，称为开（语）句。 注：形式逻辑专门研究判断的形式，而不管判断的内容，只从真值的角度研究命题的形式及各种命题之间的关系。但在数学中，既研究命题的内容，又研究命题的形式，把内容和形式统一起来研究数学命题。 如在形式逻辑中，命题“如果13,那么1+23+2.”√ 但在数学中× 数学命题有真假之分。不是所有的语句或数学式子都是数学命题。 在命题逻辑中，通常用“p,q,r,s,t···”等表示命题，这种命题符号称为命题变元（变量、变项），命题变元的取值只能是“真”和“假”，分别用“1”和“0”表示。 请大家判断以下语句是否是数学命题： （1）数学是一门科学； （2） ； （3）63; （4）x+5=9; （5）x7; （6）你在干什么？ （7）禁止吸烟！ （8）2比3大吗？ （9）哎呀！那还得了！ 数学命题一般可分为简单命题和复合命题两大类。简单命题就是不包含其他命题的命题，又可分为性质命题和关系命题两种。 象“一切矩形都是平行四边形”、“自然数不是无理数”、“有些奇数是素数”等都是性质命题； 象“一切正数都大于零”、“直线a平行于直线b”等都是关系命题。 简单命题 （1）性质命题 性质命题：判断某事物具有（不具有）某种性质的命题。 性质命题的结构：主项、谓项、量项和联项。 有些 一元二次方程 没有 实数根 （量项） （主项） （联项） （谓项） 量项有“全称”和“特称”之分，联项有“肯定”和“否定”之分，将之组合，可以得到四种形式的性质命题：全称肯定、全称否定、特称肯定、特称否定。此外还有单称肯定和单称否定。 （2）关系命题 关系命题：判断事物与事物之间关系的命题 关系命题的结构：主项、谓项和量项 直线a 平行于 直线b （主项） （谓项） （主项） （前项） （后项） 数学中常见的是二元关系：aRb 复合命题与逻辑联结词 复合命题是由两个或两个以上简单命题通过逻辑联结词结合起来而构成的命题。 常用的逻辑联结词有以下五种： 否定、合取、析取、蕴涵、等价 形成的命题分别称为：负命题、联言命题、选言命题、假言命题和充要条件假言命题 1.否定（非） ，其真值表如下： 2.合取（与，且） 3.析取（或） 4.蕴涵（如果···，则···） 5.等价（当且仅当） 例如：（1）2+3=5（真）（2）4×7=30（假），等价式：（ 2+3=5） ?（ 4×7=30）（假） 例如：（1）三角形两边之和小于第三边（假）（2）李白是清朝文人（假）。等价是：“三角形两边之和小于第三边”当且仅当“李白是清朝文人”（真） 几点说明： 一个命题中如果没有逻辑联接词出现，那么该命题一定是简单命题 以上五种式子是复合命题中最简单的形式，由这些基本形式经过各种组合，可以得到更加复杂的复合命题。 简单命题的真假由数学内容来决定，而经过复合后的命题其真假值则由真值表来决定。 复合命题的值 求复合命题的值，可先穷尽地列出p、q取值可能，然后再根据联结词的强弱顺序，逐步得出各层复合命题的值，直到最后求出整个复合命题的值。 联结词的强弱顺序： 逻辑等价 如果两个复合命题A、B的真值表相同，我们就称A、B逻辑等价。 记为“ ” 可以验证下列逻辑等价式： 数学命题的四种形式及其关系 ☆为了更好地研究数学命题：若p则q，有必要研究命题的四种形式及其关系 命题的四种形式：（1）原命题：p→q；（2）逆命题：q→p；（3）否命题：┐p→┐q；（4）；逆否命题：┐q→┐p。 四种命题的关系：原命题和逆命题是互逆的，否命题和逆否命