学案3 简单的逻辑联结词、全称量词与存在量词
编制:纪凯 审核:高三数学组 班级: 姓名: 【导学引领】
(一)考点梳理
1.简单的逻辑联结词
(1)命题中的“ ”、“ ”、“ ”称为逻辑联结词.
(2)命题p∧q、p∨q、非p的真假判断
p
|
q
|
p∧q
|
p∨q
|
非p
|
真
|
真
|
|
|
|
真
|
假
|
|
|
|
假
|
真
|
|
|
|
假
|
假
|
|
|
|
2.全称量词与存在量词
(1)“所有”、“任意”、“每一个”等表示全体的量词在逻辑中称为全称量词,用符号“∀x”表示“对任意x”,含有 的命题,称为全称命题.全称命题“对M中任 意一个x,有p(x)成立”可用符号简记为: .
(2)“有一个”、“有些”、“存在一个”等表示部分的量词在逻辑中称为存在量词.用符号“∃x”表示“存在x”,含有存在量词的命题称为 .存在性命题“存在M中的一个x,使p(x)成立”可以用符号简记为: .