第3讲简单的逻辑联结词、全称量词与存在量词1.简单的逻辑联结词(1)逻辑联结词命题中的“”、“”、“”叫做逻辑联结词.(2)命题p∧q,p∨q,綈p的真假判断且或非真假假假假真真假真假假真假假真假真真真真綈pp∨qp∧qqp2
全称量词与存在量词(1)“所有”、“任意”、“每一个”等表示全体的量词在逻辑中称为全称量词,用符号“∀x”表示“对任意x”,含有的命题,称为全称命题.全称命题“对M中任意一个x,有p(x)成立”可用符号简记为:.(2)“有一个”、“有些”、“存在一个”等表示部分的量词在逻辑中称为存在量词.用符号“∃x”表示“存在x”,含有存在量词的命题称为.存在性命题“存在M中的一个x,使p(x)成立”可以用符号简记为:.全称量词∀x∈M,p(x)存在性命题∃x∈M,p(x)3.含有一个量词的命题的否定∀x∈M,綈p(x)∃x∈M,p(x)∃x∈M,綈p(x)∀x∈M,p(x)命题的否定命题辨析感悟1.逻辑联结词的理解与应用(1)命题p∧q为假命题的充要条件是命题p,q至少有一个假命题.(√)(2)命题p∨q为假命题的充要条件是命题p,q至少有一个假命题.(×)2.对命题的否定形式的理解(3)(2013·山西四校联考改编)“有些偶数能被3整除”的否定是“所有的偶数都不能被3整除”.(√)(4)(2013·东北联考改编)命题p:∃n0∈N,2n0>1000,则綈p:∃n∈N,2n≤1000
(×)(5)(2013·四川卷改编)设x∈Z,集合A是奇数集,集合B是偶数集,若命题p:∀x∈A,2x∈B,则綈p:∃x∉A,2x∉B
(×)(6)已知命题p:若x+y>0,则x,y中至少有一个大于0,则綈p:若x+y≤0,则x,y中至多有一个大于0
(×)[感悟·提升]1.一个区别逻辑联结词“或”与日常生活中的“或”是有区别的,前者包括“或此、或彼、或兼”三种情形,后者仅表示“或