§1.4全称量词与存在量词1.4全称量词与存在量词(617KB).pptVIP

　全称量词与存在量词 想一想？？ 短语“所有的”“任意一个” 在逻辑中通常叫做全称量词．用符号“　　”表示。 含有全称量词的命题，叫做全称命题。 下列语句是命题吗? ①与③、②与④之间有何关系？ ①x3； ②2x+1是整数； ③对所有的x∈R，x3； ④对任意的x∈Z，2x+1是整数。 常见的全称量词还有“一切” “每一个” “任给” 等. 1 判断下列全称命题的真假： 1）所有的素数都是奇数； 想一想？？ 短语“存在一个”“至少一个” 在逻辑中通常叫做存在量词．用符号“　　”表示。 含有存在量词的命题，叫做特称命题。 常见的存在量词还有“有些” “有一个” “对某个” “有的”等. 2 2 判断下列特称命题的真假： 1）有一个实数x，使x+2x+3=0成立； 探究:含有一个量词的 命题如何否定? 想一想？ 含有一个量词的全称命题的否定,有下面的结论: 全称命题 它的否定 从形式看，全称命题的否定是特称命题。 3 写出下列全称命题的否定： 1）p:所有能被3整除的整数都是奇数； 想一想？ 否定: 1)所有实数的绝对值都不是正数; 2)每一个平行四边形都不是菱形; 3) 含有一个量词的特称命题的否定,有下面的结论 特称命题 它的否定 从形式看,特称命题