常用逻辑用语课件3.ppt

1．全称量词和全称命题 (1)全称量词：短语“所有的”“任意一个”在逻辑中通常叫做________，并用符号“_____”表示． (2)全称命题：含有________的命题叫做全称命题．全称命题“对M中任意一个x，有p(x)成立”可用符号简记为____________，读作“对任意x属于M，有p(x)成立”． 2．存在量词和特称命题 (1)存在量词：短语“存在一个”“至少有一个”在逻辑中通常叫做________，并用符号“________”表示． (2)特称命题：含有___________的命题叫做特称命题．特称命题“存在M中的一个x0，使p(x0)成立”可用符号简记为_______________，读作“存在M中的一个元素x0，使p(x0)成立”． 3．全称命题的否定是________命题；特称命题的否定是________命题． 1．必须明确存在量词和全称量词的含义及表示符号． 明确全称命题与特称命题的含义． “任意x∈M，p(x)”通俗说就是对集合M中所有元素x，都有p(x)成立；“存在x∈M，q(x)”通俗说存在集合M中的元素x，使q(x)成立． 2．全称命题与特称命题的否定 全称命题的否定是特称命题，特称命题的否定是全称命题，即它们互为否定形式．在写出两种命题的否定时，要掌握形式上的两个变化：全称量词与特称量词的变化，条件p(x)与其否定的变化． 要判定一个特称命题为真，只要在给定集合中找到一个元素x，使命题p(x)为真；否则命题为假，要判定一个全称命题为真，必须对给定的集合中每一个元素x，p(x)都为真；但要判定一个全称命题为假，只要在给定的集合内找到一个x0，使p(x0)为假即可． 对于含有一个量词的命题的否定，先对量词进行变化，全称量词变为存在量词，存在量词变为全称量词，然后把结论p(x)否定． 3．同一个全称命题或特称命题，由于自然语言的不同，可以有不同的表述方法，在应用中可以灵活选择. 4.否定命题时，要注意特殊的词，如“全”“都”等．常见关键词及其否定形式如下表. 1．命题“所有能被2整除的整数都是偶数”的否定是(　　) A．所有不能被2整除的整数都是偶数 B．所有能被2整除的整数都不是偶数 C．存在一个不能被2整除的整数是偶数 D．存在一个能被2整除的整数不是偶数 [答案]　D [解析]　全称命题的否定：所有变为存在，且否定结论． 所以原命题的否定是：存在一个能被2整除的整数不是偶数． [答案]　C [解析]　“任意”改为“存在”，“≤”改为“＞”． 3．下列命题为特称命题的是(　　) A．偶函数的图象关于y轴对称 B．正四棱柱都是平行六面体 C．不相交的两条直线是平行直线 D．存在实数大于等于3 [答案]　D 4．下列命题中的假命题是(　　) A．?x0∈R，logx0＝0 B．?x0∈R，tanx0＝1 C．?x∈R，x3＞0　　 D．?x∈R,2x＞0 [答案]　C 6．命题“某些平行四边形是矩形”的否定是(　　) A．某些平行四边形不是矩形 B．任何平行四边形是矩形 C．每一个平行四边形都不是矩形 D．以上都不对 [答案]　C [解析]　特称命题的否定是把存在量词变为全称量词，然后否定结论． 判断下列命题是全称命题还是特称命题，并判断真假． (1)对任意实数x，都有x2＋30； (2)每一个指数函数都是增函数； (3)至少有一个自然数小于1； (4)存在一个实数x，使得x2＋2x＋2＝0. [总结反思]　(1)要确定一个全称命题是真命题，必须对所有元素验证，即给出严格的证明；要确定一个全称命题是假命题，只需举出一个反例． (2)要确定一个特称命题是真命题，只需找到一个满足要求的特例；要确定一个特称命题是假命题，需要严格证明对所有元素均不符合要求． 判断下列命题是全称命题还是特称命题，并判断其真假． (1)对数函数都是单调函数； (2)至少有一个整数，它既能被2整除，又能被5整除； (3)任意x∈{x|x是无理数}，x2是无理数； (4)存在x∈{x|x∈Z}，log2x0. 写出下列全称命题的否定： (1)p：所有能被3整除的整数都是奇数； (2)p：每一个四边形的四个顶点共圆； (3)p：对任意的x∈Z，x2的个位数字不等于3. [分析]　全称命题的否定，其模式是固定的，即相应的全称量词变为存在量词，后面进行否定． [总结反思]　全称命题的否定是特称命题，对省略全称量词的全称命题可补上量词后进行否定． 判断下列命题是否为全称命题，并写出命题的否定： (1)所有的矩形都是平行四边形； (2)数列1,2,3,4,5中的每一项都是偶数； (3)所有的a，b∈R，方程ax＝b都有惟一解； (4)可以被5整除的整数，末位是0. [解析]　(1)是全称命题，其否定：存在一个矩形，不是平行四边形