1．命题p∧q，p∨q，綈p的真假判断?
|
p
|
q
|
p∧q?
|
p∨q?
|
綈p?
|
|
真
|
真
|
真
|
真
|
假
|
|
真
|
假
|
假
|
真
|
假
|
|
假
|
真
|
假
|
真
|
真
|
|
假
|
假
|
假
|
假
|
真
|
2．全称量词与存在量词
|
量词名称
|
常见量词
|
表示符号
|
|
全称量词
|
所有、一切、任意、全部、每一个等
|
∀
|
|
存在量词
|
存在一个、至少有一个、有一个、某个、有些、某些等
|
∃
|
3．全称命题与特称命题
|
命题名称
|
命题结构
|
命题简记
|
|
全称命题
|
对M中任意一个x，有p(x)成立
|
∀x∈M，p(x)
|
|
特称命题
|
存在M中的一个x0，使p(x0)成立
|
∃x0∈M，p(x0)
|
4．含有一个量词的命题的否定
|
命题
|
命题的否定?
|
|
∀x∈M，p(x)
|
∃x0∈M，綈p(x0)
|
|
∃x0∈M，p(x0)
|
∀x∈M，綈p(x)
|
含有逻辑联结词的命题真假判断口诀：p∨q→见真即真，p∧q→见假即假，p与綈p→真假相反．
“p∧q”⇔“p且q”，“且”的数学含义是几个条件同时满足，“且”在集合中解释为“交集”．
“p∨q”⇔“p或q”，“或”的数学含义有三层意思：要么只是p，要么只是q，要么是p和q，即两者中至少要有一个．“或”在集合中的解释为“并集”．
“綈p”⇔“非p”，“非”的含义有四条：
①“非p”只否定p的结论；
