,单击此处编辑母版标题样式,#,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,想一想？,短语“所有的”“任意一个”在逻辑中通常叫做全称量词用符号“”表示。,含有全称量词的命题，叫做,全称命题。,是整数,是整数,常见的全称量词还有“一切”“每一个”“任给”“所有的”等,.,要判断一个全称命题为真，必须对在给定集合的每一个元素,x,，使命题,p(,x,),为真；但要判断一个全称命题为假时，只要在给定的集合中找到一个元素,x,，使命题,p(,x,),为假。,练习：判断下列命题的真假：,(1),(2),1.4.2,存 在 量 词,想一想？,短语“存在一个”“至少一个”在逻辑中通常叫做存在量词用符号“”表示。,含有存在量词的命题，叫做,特称命题。,常见的存在量词还有“有些”“有一个”“对某个”“有的”等,.,要判断一个特称命题为真，只要在给定的集合中找到一个元素,x,，使命题,p(,x,),为真；要判断一个特称命题为假，必须对在给定集合的每一个元素,x,，使命题,p(,x,),为假。,练习：判断下列命题的真假：,(1),(2),例、判断下列命题是全称命题，还是特称命题？,（,1,）方程,2x=5,只有一解；,（,2,）凡是质数都是奇数；,（,3,）方程,2x,2,1=0,有实数根；,（,4,）没有一个无理数不是实数；,（,5,）如果两直线不相交，则这两条直线平行；,（,6,）集合,AB,是集合,A,的子集；,1.4.3,含有一个量词的命题,的否定,含有一个量词的全称命题的否定,有下面的结论,全称命题,它的否定,从形式看，全称命题的否定是特称命题。,含有一个量词的特称命题的否定,有下面的结论,特称命题,它的否定,从形式看,特称命题的否定都变成了全称命题,.,