选修2_1常用逻辑符号第01课时_命题.docVIP

选修2-1常用逻辑符号第01课时-命题教学目标：1. 掌握命题、真命题及假命题的概念；2. 四种命题的内在联系，能根据一个命题来构造它的逆命题、否命题和逆否命题.教学过程 一、复习引入1.陈述句：用来说明事实的句子.2.定理和公理：公理:原是一个逻辑名词，数学中的公理是指经过反复的实践所证实而被认为不需要证明的真理.公理可在证明定理的过程中作为论据使用. 定理:通过一定的论据而证明是真实的结论.二、命题的概念下列语句的表述形式有什么特点？你能判断它们的真假吗？(1)若直线a∥b，则直线a和直线b无公共点；(2)2+4=7；(3)垂直于同一条直线的两个平面平行；(4)若x2=1，则x=1；(5)两个全等三角形的面积相等；(6)3能被2整除.一般地，我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题（proposition）.其中判断为真的语句叫做真命题（true proposition），判断为假的语句叫做假命题（false proposition）.命题的数学形式：“若p，则q”，命题中的p叫做命题的条件，q叫做命题的结论.例1：判断下列语句中哪些是命题？是真命题还是假命题？(1)空集是任何集合的子集；(2)若整数a是素数，则a一定是奇数；(3)指数函数是增函数吗？(4)若平面上两条直线不相交，则这两条直线平行；(5)(6)x15.判断一个语句是不是命题的方法： 看它是否符合：(1)是陈述句；(2)可以判断真假.例2：指出下列命题中的条件p和结论q：（1）若整数a能被2整除，则a是偶数；（2）若四边形是菱形，则它的对角线互相垂直平分.例3：将下列命题改写成“若p，则q”的形式，并判断真假：（1）垂直于同一条直线的两条直线平行；（2）负数的立方是负数；（3）对顶角相等.说明：有些命题改写成“若p，则q”的形式时，写法不一. 如(2)： 若一个数是负数，则其立方是负数；若一个数是负数的立方，则其是负数；练习：1.判断下列命题的真假：(1)能被6整除的整数一定能被3整除；(2)若一个四边形的四条边相等，则这个四边形是正方形；(3)二次函数的图象是一条抛物线；(4)两个内角等于45?的三角形是等腰直角三角形.2.把下列命题改写成“若p，则q”的形式，并判断它们的真假.(1)偶函数的图象关于y轴对称；(2)垂直于同一个平面的两个平面平行.(3)等腰三角形两腰的中线相等；三、四种命题的概念观察下列4个命题，说明命题①的条件和结论与命题②③④的条件和结论之间有什么关系.①如果两个三角形全等，那么它们的面积相等； ②如果两个三角形的面积相等，那么它们全等； ③如果两个三角形不全等，那么它们的面积不相等； ④如果两个三角形的面积不相等，那么它们不全等. 观察①与②得：一般地，对于两个命题，如果一个命题的条件和结论是另一个命题的结论和条件，那么我们把这两个命题叫互逆命题.其中一个命题叫做原命题（primitive proposition），另一个命题叫做原命题的逆命题（inverse proposition）.用符号语言表达： “若p则q”为原命题，则 “若q则p”叫做原命题的逆命题. 观察①与③④得：一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定——互否命题（negative proposition）.一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定——互为逆否命题(converse-negative proposition).用符号语言表达： (“?”读作：“非”)“若?p则?q”叫做原命题的否命题； “若?q则?p”叫做原命题的逆否命题.思考：若将②看成原命题，则其逆命题、否命题、逆否命题分别是？例4：给出下列两个命题：(1) 四边相等的四边形是正方形；(2) 负数的平方是正数.请说出它的逆命题、否命题、逆否命题.说明：有些命题的逆命题、否命题、逆否命题，因改写成“若p，则q”的形式不同，其形式也会不同. 若一个数是负数，则其立方是负数；若一个数是负数的立方，则其是负数；例5：写出命题“若 xy= 0 则 x = 0或 y = 0”的逆命题、否命题、逆否命题解：逆命题：若 x = 0或 y = 0 则 xy = 0 否命题：若 xy ? 0 则 x ? 0且 y ? 0逆否命题：若 x ? 0且 y ? 0 则 xy?0归纳：准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式. ?原结论 反设词 是 都是 大于 小于 对所有x,成立 对任何x，不成立至少有一个至多有一个至少有n个至多有n个且 或练习：写出下列命题的逆命题、否命题和逆否命题并判断真假：（1）若一个整数的末位数是0，则这个整数能被5整除；（