§1.3 简单的逻辑联结词、全称量词与存在量词
简单的逻辑联结词
命题中的且、或、非叫做逻辑联结词.
全称量词与存在量词
全称量词:短语“所有的”“任意一个”在逻辑中通常叫做全称量词,用“?”表示; 含有全称量词的命题叫做全称命题.
存在量词:短语“存在一个”“至少有一个”在逻辑中通常叫做存在量词,用“ ?” 表示;含有存在量词的命题叫做特称命题.
含有一个量词的命题的否定
判断下面结论是否正确(请在括号内打“√”或“×”)
命题 p∧q 为假命题,则命题p、q 都是假命题.
( ×
)
(2)已知命题p:?n0 N, 2n0 1 000,则綈p:?n∈N, 2
∈
(3)命题 p 和綈p 不可能都是真命题.
0 ≤1 000.
n
( ×
( √
)
)
(4)命题“?x∈R,x2≥0”的否定是“?x∈R,x20”.
( ×
)
(5)若命题p、q 至少有一个是真命题,则p∨q 是真命题.
( √
)
命题p:?x∈R,sin x1;命题q:?x∈R,cos x≤-1,则下列结论是真命题的是( )
A.p∧q B.綈 p∧q
C.p∨綈 q
答案 B
D.綈 p∧綈 q
解析 p 是假命题,q 是真命题,
∴綈 p∧q 是真命题.
3.(2013·重庆)命题“对任意 x∈R,都有 x2≥0”的否定为 ( ) A.对任意 x∈R,都有 x20
不存在 x∈R,使得 x20
存在
原创力文档

文档评论(0)