上课1.4全称量词与存在量词(第一二课时)-1.pptVIP

2.“至多有三个”的否定为（ ） A.至少有三个 B.至少有四个 C.有三个 D.有四个 B 熟能生巧 3.三个数a,b,c不全为0的否定是（ ） A.a,b,c都不是0 C.a,b,c至少有一个为0 B.a,b,c至多一个是0 D.a,b,c都为0 D 熟能生巧 量词和条件 否定 等于 大于 小于 （一定）是 都是（全是） 至多有一个 至少有一个 任意的 或 且 小于或等于 不等于 大于或等于 不是 不都是 至少2个 一个也没有 存在一个 且 或 1.对含有一个量词的全称命题与特称命题的否定，既要考虑对量词的否定，又要考虑对结论的否定，即要同时否定原命题中的量词和结论 . 小结 2.在命题形式上，全称命题的否定是特称命题，特称命题的否定是全称命题，这可以理解为“全体”的否定是“部分”， “部分”的否定是“全体”. 小结:全称命题和特称命题可以是真命题，也可以是假命题，当判断原命题的真假有困难时，可转化为判断其否命题的真假. * * * * * * * * * * * * * * * * * * 1.4.1-2 全称量词与存在量词 是世界近代三大数学难题之一. 1742年6月7日哥德巴赫写信给当时的大数学家欧拉，正式提出了以下的猜想： 1．任何一个大于 6的偶数都可以表示成两个质数之和． 2．任何一个大于9的奇数都可以表示成三个质数之和。 哥德巴赫猜想 观察1、2的结构形式，有何共同特点？能不能用其他短语来代替“任何”？ 下列语句是命题吗？(1)与(3)，(2)与(4)之间 有什么关系？ (1)x3； (2)2x+1是整数； (3)对所有的x∈R，x3； (4)对任意一个x∈Z，2x+1是整数。 语句(1)(2)不能判断真假，不是命题； 语句(3)(4)可以判断真假，是命题。 全称量词、全称命题定义： 短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“ ”表示。 含有全称量词的命题，叫做全称命题。 常见的全称量词还有 “一切” “每一个” “任给” “所有的”等 。 全称命题举例： 全称命题符号记法： 命题：对任意的n∈Z，2n+1是奇数； 所有的正方形都是矩形。 通常，将含有变量x的语句用p(x), q(x), r(x),…表示， 变量x的取值范围用M表示，那么， 全称命题“对M中任意一个x，有p(x)成立 ”可用符号简记为： 读作“对任意x属于M，有p(x)成立”。 例1 试用文字语言表述下列命题并判断真假： 例2：试用符号语言表达下列命题，并判断真假 思考：从上例中，你能否找到判断命题真假的方法？ 小 结： ——需要对集合M中每个元素x，证明p(x)成立 ——只需在集合M中找到一个元素x0，使得 p(x0)不成立即可 （举反例） 练习： 判断下列全称命题的真假： （1）每个奇函数都经过原点； （2）任何实数都有算术平方根； （3） 下列语句是命题吗？(1)与(3)，(2)与(4)之间有什么关系？ (1)2x+1=3； (2)x能被2和3整除； (3)存在一个x0∈R，使2x+1=3； (4)至少有一个x0∈Z，x能被2和3整除。 语句(1)(2)不能判断真假，不是命题； 语句(3)(4)可以判断真假，是命题。 存在量词、特称命题定义： 短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词， 并用符号“ ”表示。 含有存在量词的命题，叫做特称命题。 常见的存在量词还有 “有些”“有一个” “对某个”“有的”等 。 观察： 练习：用符号表示下列命题，并判断真假 特称命题符号记法： 1）有的平行四边形是菱形； 2）有一个素数不是奇数。 3) 有一个实数x0，使x02+2x0+3=0； 通常，将含有变量x的语句用p(x), q(x), r(x),…表示， 变量x的取值范围用M表示，那么， 特称命题“存在M中的一个x0，使p(x0)成立 ”可用符号简记为： 读作“存在一个x0属于M，使p(x0)成立”。 小 结： ——需要证明在集合M中，不存在使p(x)成立的元素x0 ——只需在集合M中找到一个元素x0，使得p(x0) 成立即可 （举例证明） 思考：从上例中，你能否找到判断特称命题真假的方法？ 练习: 判断下列特称命题的真假： （1） （2）至少有一个整数，它既不是合数，也不是素数； （3） 解：（1）真命题； （2）真命题； （3）真命题。 （2）存在这样的实数它的平方等于它本身。 （3）存在实数x，x3＞x2； 2、用符号“ ”与 “ ”表述下列命题： （1）实数都能写成小数形式； 小结： 2、全称命