1、问题提出问题提出 1.1.对于命题对于命题p、q，命题，命题pq，pq，p的含义分别如何？这些命题与的含义分别如何？这些命题与p、q的的真假关系如何？真假关系如何？pq：用联结词：用联结词“且且”把命题把命题p和命题和命题q联结联结起来得到的命题，当且仅当起来得到的命题，当且仅当p、q都是真命题都是真命题时，时，pq为真命题为真命题.pq：用联结词：用联结词“或或”把命题把命题p和命题和命题q联结联结起来得到的命题，当且仅当起来得到的命题，当且仅当p、q都是假命题都是假命题时，时，pq为假命题为假命题.p p：命题：命题p p的否认，的否认，p p与与p p的真假相反的真假相反.探究（一）：全
2、称量词的含义和表达探究（一）：全称量词的含义和表达 思考思考:下列各组语句是命题吗？两者有什下列各组语句是命题吗？两者有什么关系么关系?（1 1）x x3 3；对全部的对全部的xRxR，x x3.3.（2 2）2x2x1 1是整数；是整数；对任意一种对任意一种xZxZ，2x2x1 1是整数是整数.（3 3）方程）方程x2x22x2xa a0 0有实根；有实根；任给任给a a0 0，方程，方程x2x22x2xa a0 0有实根有实根.上述例子中：短语上述例子中：短语“全部的全部的”“”“任意一任意一种种”“”“任给任给”等，在逻辑中普通叫做全等，在逻辑中普通叫做全称量词，并用符号称量词，并用符号
3、“”“”表达，你还能表达，你还能列举某些常见的全称量词吗？列举某些常见的全称量词吗？常见的全称量词有常见的全称量词有:“对全部的对全部的”,“”,“对任意一种对任意一种”,“”,“对一切对一切”,”,“对每一种对每一种”,“”,“任给任给”,”,等等.含有全称量词的命题叫做全称命题，含有全称量词的命题叫做全称命题，如如“对全部的对全部的xRxR，x x3”3”，“对任意对任意一种一种xZxZ，2x2x1 1是整数是整数”等，你能列举等，你能列举一种全称命题的实例吗？一种全称命题的实例吗？“对对M M中任意一种中任意一种x x，有，有p(x)p(x)成立成立”规定：将含有变量规定：将含有变量x
4、x的语句用的语句用p(x)p(x)、q(x)q(x)、r(x)r(x)等表达，变量等表达，变量x x的取值范畴用的取值范畴用M M表表达，那么符号语言达，那么符号语言“xM“xM，p(x)”p(x)”所体所体现的数学意义是现的数学意义是思考：下列命题是全称命题吗？其真如果思考：下列命题是全称命题吗？其真如果何？何？（1 1）全部的素数是奇数；）全部的素数是奇数；（2 2）xR xR，x2x21111；（3 3）对每一种无理数）对每一种无理数x x，x2x2也是无理数；也是无理数；（4 4）全部的正方形都是矩形）全部的正方形都是矩形.真真假假真真假假思考：如何鉴定一种全称命题的真假？思考：如何鉴
5、定一种全称命题的真假？xM，p(x)为真：为真：对集合对集合M中每一个中每一个元素元素x，都有，都有p(x)成立；成立；xM，p(x)为假：为假：在集合在集合M中中存在存在一一个元素个元素x0 0，使得，使得p(x0)不成立不成立.探究探究(二二)：存在量词的含义和表达：存在量词的含义和表达 思考：下列各组语句是命题吗？两者有思考：下列各组语句是命题吗？两者有什么关系？什么关系？（1 1）2x2x1 13 3；存在一种存在一种x0Rx0R，使，使2x02x01 13.3.（2 2）x x能被能被2 2和和3 3整除；整除；最少有一种最少有一种x0Zx0Z，x0 x0能被能被2 2和和3 3整除
6、整除.（3 3）|x|x1|1|1 1；有些有些x0Rx0R，使，使|x0|x01|1|1.1.上述例子中：短语上述例子中：短语“存在一种存在一种”“”“最少最少有一种有一种”“”“有些有些”等，在逻辑中普通叫等，在逻辑中普通叫做存在量词，并用符号做存在量词，并用符号“”“”表达，你表达，你还能列举某些常见的存在量词吗？还能列举某些常见的存在量词吗？“存在一种存在一种”“最少有一种最少有一种”,“有些有些”,“有一种有一种”,“有的有的”,“对某个对某个”等等.含有存在量词的命题叫做特称命题，含有存在量词的命题叫做特称命题，如如“存在一种存在一种x0Rx0R，使，使2x02x01 13”3”，
7、“最少有一种最少有一种x0Zx0Z，x0 x0能被能被2 2和和3 3 整除整除”等，你能列举一种特称命题的实例吗等，你能列举一种特称命题的实例吗？存在存在M中的元素中的元素x0 0，使，使p(x0)成立成立.符号语言符号语言“x0M“x0M，p(x0)”p(x0)”所体现的所体现的数学意义是数学意义是思考：下列命题是特称命题吗？其真如思考：下列命题是特称命题吗？其真如果何？果何？（1 1）有的平行四边形是菱形；）有的平行四边形是菱形；（2 2）有一种实数）有一种实数x0,x0,使使 ;（3 3）有一种素数不是奇数；）有一种素数不是奇数；（4 4）存在两个相交平面垂直于同一条直）存在两个相交平
8、面垂直于同一条直线；线；（5 5）有些整数只有两个正因数；）有些整数只有两个正因数；（6 6）有些实数的平方不大于）有些实数的平方不大于0.0.真真假假真真假假真真假假思考：如何鉴定一种特称命题的真假？思考：如何鉴定一种特称命题的真假？x0M，p(x0)为真：为真：能在集合能在集合M中找中找出一个元素出一个元素x0 0，使，使p(x0)成立；成立；x0M，p(x0)为假：为假：在集合在集合M中，使中，使p(x)成立的元素成立的元素x不存在不存在.对对 都不成立都不成立.理论迁移理论迁移 例例1 1 下列命题是全称命题还是特称命下列命题是全称命题还是特称命题，并判断其真假题，并判断其真假.（1
9、1）任意实数的平方都是正数；）任意实数的平方都是正数；（2 2）0 0乘以任何数都等于乘以任何数都等于0 0；（3 3）有的老师既能教中学数学，也能）有的老师既能教中学数学，也能 教中学物理；教中学物理；全称命题（假）全称命题（假）全称命题（真）全称命题（真）特称命题（真）特称命题（真）（4 4）某些三角形的三内角都不大于）某些三角形的三内角都不大于6060；（5 5）任何一种实数都有相反数）任何一种实数都有相反数.特称命题（假）特称命题（假）全称命题（真）全称命题（真）例例2 2 判断下列命题的真假判断下列命题的真假.（1）xR，x2x；（2）xR，sinxcosxtanx；（3）xQ，x2
10、80；（4）xR，x2x10；（5）xR，sinxcosx=2；（6）a，bR，真真假假假假假假假假真真 指出下述推理过程的逻辑上的错误指出下述推理过程的逻辑上的错误:第一步：设第一步：设a=b，则有，则有a2=ab 第二步：等式两边都减去第二步：等式两边都减去b2，得得a2-b2=ab-b2第三步第三步：因式分解得：因式分解得(a+b)(a-b)=b(a-b)第四步：等式两边都除以第四步：等式两边都除以a-b得，得，a+b=b第五步：由第五步：由a=b代人得，代人得，2b=b第六步：两边都除以第六步：两边都除以b得，得，2=1已知已知 ,若对若对 ，总，总 ，使得，使得 求求m的取值范围的取
11、值范围.思考：思考：小结作业小结作业 1.1.全称量词是表示全称量词是表示“全体全体”的量词，的量词，用符号用符号“”“”表示；存在量词是表示表示；存在量词是表示“部分部分”的量词，用符号的量词，用符号“”“”表示，表示，具体用词没有统一规定具体用词没有统一规定.2.2.若对任意若对任意xM，都有，都有p(x)成立，则成立，则全称命题全称命题“xM，p(x)”为真，否则为真，否则为假；为假；若存在若存在x0M，使得，使得p(x0)成立，则特称成立，则特称命题命题“x0M，p(x0)”为真，否则为为真，否则为假假.作业：作业：P23P23练习：练习：1 1，2.2.P26P26习题习题1.41.
12、4A组：组：1 1，2.2.1.4 1.4 全称量词与存在量词全称量词与存在量词 第二学时第二学时问题提出问题提出 1.1.全称量词与存在量词的含义及其全称量词与存在量词的含义及其符号表达分别是什么？符号表达分别是什么？存在量词：存在量词：表示表示“部分部分”的量词，用符的量词，用符号号“”表示表示.全称量词：全称量词：表示表示“全体全体”的量词，用符的量词，用符号号“”表示；表示；2.2.全称命题与特称命题的含义及其普全称命题与特称命题的含义及其普通表达形式分别是什么？通表达形式分别是什么？普通表达形式普通表达形式 含含 义义 含有全称量含有全称量词的命题词的命题 特称命题特称命题 全称命题
13、全称命题 含有存在量含有存在量词的命题词的命题 xM,p(x)x0M,p(x0)3.3.如何判断全称命题与特称命题的真如何判断全称命题与特称命题的真假？假？假命题假命题 真命题真命题 对任意对任意xM都有都有p(x)成立成立 存在存在x0M使得使得p(x0)成立成立 x0M,p(x0)xM,p(x)存在存在x0M使使得得p(x0)不成立不成立 对任意对任意xMp(x)不成立不成立 4.4.任何一种命题都有其否认形式，并任何一种命题都有其否认形式，并且命题且命题p p与与p p的真假性相反的真假性相反.对于全称命对于全称命题与特称命题的否认，在形式上有什么题与特称命题的否认，在形式上有什么变化规
14、律，将是本节课所要探讨的课题变化规律，将是本节课所要探讨的课题.探究（一）：全称命题的否认探究（一）：全称命题的否认（1 1）本教室内最少有一名学生不是男生）本教室内最少有一名学生不是男生 思考：思考：你能写出下列命题的否定吗？你能写出下列命题的否定吗？（1 1）本教室内所有学生是男生；）本教室内所有学生是男生；（2 2）所有的平行四边形是矩形；）所有的平行四边形是矩形；（3 3）每一个素数都是奇数；）每一个素数都是奇数；（4 4）xR，x22x10.10.（2 2）有的平行四边形不是矩形）有的平行四边形不是矩形（3 3）存在一种素数不是奇数）存在一种素数不是奇数 （4）x0R，x022x01
15、0.思考：从全称命题与特称命题的类型分思考：从全称命题与特称命题的类型分析，上述命题与它们的否认在形式上有析，上述命题与它们的否认在形式上有什么变化？什么变化？全称命题的否认都变成了特称命题全称命题的否认都变成了特称命题.普通地，对于含有一种量词的普通地，对于含有一种量词的全称命题全称命题p p：xM xM，p(x)p(x)，它的否，它的否认认p p是什么形式的命题是什么形式的命题?p：xM，p(x)（全称命题）（全称命题）p：x0M，p(x0)（特称命题）（特称命题）探究（二）：特称命题的否认探究（二）：特称命题的否认 思考：思考：写出下列命题的否定写出下列命题的否定（1 1）本节课里有一个
16、人在打瞌睡；）本节课里有一个人在打瞌睡；（2 2）有些实数的绝对值是正数；）有些实数的绝对值是正数；（3 3）某些平行四边形是菱形；）某些平行四边形是菱形；（4 4）x0R，x021 10;0;（1 1）本节课里全部的人都没有瞌睡；）本节课里全部的人都没有瞌睡；（2 2）全部实数的绝对值不是正数；）全部实数的绝对值不是正数；（3 3）每一种平行四边形不是菱形；）每一种平行四边形不是菱形；（4 4）xR，x210.10.思考：从全称命题与特称命题的类型分思考：从全称命题与特称命题的类型分析，上述命题与它们的否认在形式上有析，上述命题与它们的否认在形式上有什么变化？什么变化？特称命题的否认都变成了
17、全称命题特称命题的否认都变成了全称命题.普通地，对于含有一种量词的特称普通地，对于含有一种量词的特称命题命题p p：x0M x0M，p(x0)p(x0)，它的否认，它的否认p p形形式式 p：x0M，p(x0)（特称命题）（特称命题）p：xM，p(x)（全称命题）（全称命题）对全称命题进行否认的办法对全称命题进行否认的办法第一步，将全称量词改成存在量词；第一步，将全称量词改成存在量词；第二步，对命题的结论加以否认。第二步，对命题的结论加以否认。对特称命题进行否认的办法对特称命题进行否认的办法第一步，将存在量词改成全称量词；第一步，将存在量词改成全称量词；第二步，对命题的结论加以否认。第二步，对
18、命题的结论加以否认。理论迁移理论迁移 例例1 1 写出下列全称命题的否定：写出下列全称命题的否定：（1 1）p：所有能被：所有能被3 3整除的整数都是奇数整除的整数都是奇数（2 2）p：每一个四边形的四个顶点共圆：每一个四边形的四个顶点共圆（3 3）p：xZ，x2的个位数字不等于的个位数字不等于3.3.（1 1）p p：存在一种能被：存在一种能被3 3整除的整数不整除的整数不是奇数；是奇数；（2 2）p p：存在一种四边形，其四个顶：存在一种四边形，其四个顶点不共圆；点不共圆；（3 3）p：x0Z，x02的个位数字等于的个位数字等于3.3.例例2 2 写出下列特称命题的否认：写出下列特称命题的
19、否认：（1 1）p p：x0R x0R，x02x022x02x02020；（2 2）p p：有的三角形是等边三角形；：有的三角形是等边三角形；（3 3）p p：有一种素数含有三个正因数：有一种素数含有三个正因数.（1 1）p：xR，x22x2 20 0；（2 2）p p：全部的三角形都不是等边三角形：全部的三角形都不是等边三角形（3 3）p p：每一种素数都不含三个正因数：每一种素数都不含三个正因数.例例3 3 写出下列命题的否认，并判断写出下列命题的否认，并判断其真假：其真假：（1 1）p p：任意两个等边三角形都相似：任意两个等边三角形都相似（2 2）p p：x0R x0R，x02x022
20、x02x02 20 0；（1 1）p：存在两个等边三角形，它们：存在两个等边三角形，它们不相似；不相似；（2 2）p：xR，x22x200；假命题假命题真命题真命题（3 3）p p：aR,aR,直线直线(2a(2a3)x3)x(3a(3a 4)y 4)ya a7 70 0通过某定点；通过某定点；（4 4）p p：kR kR，原点到直线，原点到直线kxkx2y2y1 10 0的距离为的距离为1.1.（3 3）p：a0R，直线，直线(2a03)x(3a04)ya07 70 0不经过该定点；不经过该定点；假命题假命题（4 4）p：kR，原点到直线，原点到直线kx2y1 10 0的距离不为的距离不为1
21、.1.真命题真命题（1）全部自然数的平方是正数）全部自然数的平方是正数.（2）任何实数）任何实数x都是方程都是方程5x-12=0的根的根.（3）对任意实数）对任意实数x，存在实数，存在实数y，使，使x+y 0.（4）有些质数是奇数有些质数是奇数练习：练习：写出下列命题的否认写出下列命题的否认 1.1.对含有一种量词的全称命题与特称命对含有一种量词的全称命题与特称命题的否认，既要考虑对量词的否认，又题的否认，既要考虑对量词的否认，又要考虑对结论的否认，即要同时否认原要考虑对结论的否认，即要同时否认原命题中的量词和结论命题中的量词和结论.小结作业小结作业2.2.在命题形式上，全称命题的否认是特在命题形式上，全称命题的否认是特称命题，特称命题的否认是全称命题，称命题，特称命题的否认是全称命题，这能够理解为这能够理解为“全体全体”的否认是的否认是“部分部分”，“部分部分”的否认是的否认是“全体全体”.”.3.3.全称命题和特称命题能够是真命题，全称命题和特称命题能够是真命题，也能够是假命题，当判断原命题的真假也能够是假命题，当判断原命题的真假有困难时，可转化为判断其否命题的真有困难时，可转化为判断其否命题的真假假.作业：作业：P26P26练习：练习：1 1，2.2.P27P27习题习题1.4A1.4A组：组：3.3.B B组组:1.1.
