课题数学命题学习提要1数学命题的逻辑基础2数学.docVIP

课题： 第二节 数学命题 学习提要： 数学命题的逻辑基础； 2、数学命题的教学策略。 教学目标： 1.掌握数学命题逻辑基础（数学命题的意义和结构、数学命题的基本运算、命题的运算规律以及命题的四种基本形式及关系）； 2.掌握数学命题的教学策略（命题的提出、明确命题、掌握命题的证明思路与方法和形成命题系统）。 教学重点、难点： 掌握数学命题逻辑基础（数学命题的意义和结构、数学命题的基本运算、命题的运算规律以及命题的四种基本形式及关系）、掌握数学命题的教学策略（命题的提出、明确命题、掌握命题的证明思路与方法和形成命题系统）为本章重点和为本章难点。 教学方法：交互式教学方法 教学过程： 第二节 数学命题 本节所讲的数学命题（指真命题），主要包括数学公理、定理、公式、法则等。数学命题（除公理之外）都必需论证，只有论证之后，才可作为证明的重要依据。数学命题与概念、推理、证明有着密切的联系，命题是由概念组成的，概念是用命题揭示的；命题是组成推理的要素，可作为证明的重要依据。因此，数学命题的教学不仅是数学概念教学的展开与深化，而且是进行数学推理与证明的教学基础。 一、 数学命题的逻辑基础 1．数学命题的意义和结构 概念产生之后，人们就要运用已有的概念对客观事物进行肯定或否定。对思维对象有所肯定或否定的思维形式叫做判断。由于判断是人的主观对客观的一种认识，所以判断有真有假，正确地反映客观事物的判断称为真判断，错误地反映客观事物的判断是假判断。其真假要由实践来检验，在数学中要进行证明。 在逻辑学中，按判断本身是否含有其他判断将判断分为简单判断和复合判断。在一个判断中，如果不包含其他的判断，叫做简单判断。简单判断又可以分为性质判断和关系判断。性质判断是指断定事物具有或不具有某种性质的判断，性质判断由四个部分组成：主项，用来反映判断中对象；谓项，用来反映判断中对象具有或不具有的性质；联项，用来指明判断的主项和谓项之间所存在的联系词；量项，用来反映主项的数量和范围，如“所有”、“一切”、“任何”等叫做全称量词，而“有些”、“有的”、“存在”等叫做特称量词。根据量词的不同就得到不同的判断，现分述如下： 单称肯定(或否定)判断，就是对论域中一个对象是否具有某一性质进行的判断。如三角形是直角三角形，三角形不是直角三角形等。 特称肯定(或否定)判断，就是对论域中部分对象是否具有某一性质进行判断。如有些整数是完全平方数，有些数列是不存在极限的等。 全称肯定(或否定)判断，就是对论域中所有对象是否具有某一性质进行判断。如所有一元二次方程在复数范围内都有两个根，所有正三角形都不是直角三角形等。关系判断是指断定论域中的对象与对象之间关系的判断。关系判断由三部分组成：关系、关系项、量项。数学中常见的关系有对称关系、反对称关系、非对称关系、传递关系和反传递关系等。如：若，则，所以相似关系就是对称关系；若，则，所以不等关系就是反对称关系；又如2整除4，则4不整除2，所以整除关系为非对称关系；，则，所以大于关系是传递关系；表示同一平面内的直线，，则，所以在同一平面内的垂直关系是反传递关系。 判断要借助于语句，表示判断的陈述语句叫命题。关于数学对象及其属性的判断叫做数学判断，在数学中，表达数学判断的语句或符号的组合称为数学命题。例如，“”,“”,“”,“”,“”等都是数学命题。由于判断有真假，所以数学命题也就有真命题和假命题之分。命题的“真”和“假”，称为命题的真值，我们分别用1和0表示。一个命题要么真，要么假，二者必居其一。 2．数学命题的基本运算 命题有简单命题和复合命题，把简单命题用一些逻辑联结词联结起来，就构成复合命题。常用的逻辑联结词有否定、合取、析取、蕴涵、当且仅当五种 第一，否定(非) 设表示一个命题，若否定命题，则得到命题“非”，记作。显然，与互为否命题，称为的否定式。例如，“是无理数”是一个真命题，它的否定式为“不是无理数”是一个假命题。 第二，合取(与) 设，表示两个命题，用逻辑联结词“与”把它们联结起来得到新命题“与”，记作，这个式子叫做命题，的合取式。若，均为真，则为真；若，中至少有一个为假，则为假。 第三，析取(或) 给定两个命题，，用“或”连接起来，构成复合命题“或”称为命题，的析取式，记作。 若，中至少有一个为真，则为真；若，中两个均为假，则为假。例如，命题“”和“”，前者为真命题，后者为假命题，其析取式为“”是一个真命题。 第四，蕴涵(若……则……) 给定两个命题，，用“如果……那么……”连接起来，得到的新命题“若，则”称为命题蕴涵命题，或简称蕴涵式，记作。若真假，则为假；在，的其余情况下，均为真。 第五，当且仅当 给定两个命题，，用“当且仅当”连接起来，