知识点一 简单的逻辑联结词
(1)用联结词“且”联结命题p和命题q,记作p∧q,
(2)用联结词“或”联结命题p和命题q,记作p∨q,
(3)对一个命题p的否定记作¬p,
(4)命题p∧q,p∨q,¬p的真假判断真值表
p
|
q
|
¬p
|
p∨q
|
p∧q
|
真
|
真
|
假
|
真
|
真
|
真
|
假
|
假
|
真
|
假
|
假
|
真
|
真
|
真
|
假
|
假
|
假
|
真
|
假
|
假
|
知识点二 全称量词与存在量词
1.全称量词与全称命题
(1)短语“所有的”“任意一个”在逻辑中通常叫做全称量词,并用符号“∀”表示.
(2)含有全称量词的命题,叫做全称命题.
(3)全称命题“对M中任意一个x,有p(x)成立”可用符号简记为:∀x∈M,p(x).
2.存在量词与特称命题
(1)短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,