第一章集合与常用逻辑用语1
3简单的逻辑联结词、全称量词与存在量词教师用书理苏教版1
命题p∧q,p∨q,綈p的真假判断pqp∧qp∨q綈p真真真真假真假假真假假真假真真假假假假真2
全称量词和存在量词量词名词常见量词表示符号全称量词所有、一切、任意、全部、每一个、任给等∀存在量词存在一个、至少有一个、有一个、某个、有些、某些等∃3
全称命题和存在性命题命题名称命题结构命题简记全称命题对M中任意一个x,有p(x)成立∀x∈M,p(x)存在性命题存在M中的一个x,使p(x)成立∃x∈M,p(x)4
含有一个量词的命题的否定命题命题的否定∀x∈M,p(x)∃x∈M,綈p(x)∃x∈M,p(x)∀x∈M,綈p(x)【知识拓展】1
含有逻辑联结词的命题真假的判断规律(1)p∨q:p、q中有一个为真,则p∨q为真,即有真为真;(2)p∧q:p、q中有一个为假,则p∧q为假,即有假即假;(3)綈p:与p的真假相反,即一真一假,真假相反
含一个量词的命题的否定的规律是“改量词,否结论”
【思考辨析】判断下列结论是否正确(请在括号中打“√”或“×”)(1)命题p∧q为假命题,则命题p、q都是假命题
(×)(2)命题p和綈p不可能都是真命题
(√)(3)若命题p、q至少有一个是真命题,则p∨q是真命题
(√)(4)命题綈(p∧q)是假命题,则命题p,q中至少有一个是真命题
(×)(5)“长方形的对角线相等”是存在性命题
(×)(6)命题“对顶角相等”的否定是“对顶角不相等”
(2016·江苏泰州中学月考)命题“∃x>-1,x2+x-2016>0”的否定是______________
答案∀x>-1,x2+x-2016≤0解析命题“∃x>-1,x2+x-2016>0”的否定是“∀x>-1,x2+x-2016≤0”
已知命题p,q,“綈p为真”是“p∧q为假”的________