常用的逻辑联结词

第4课时 简单的逻辑联结词

1.理解逻辑联结词“且”“或”“非”的含义.

2.会判断含“且”“或”“非”的命题的真假及相关应用.

前面我们讲过一个故事:一位文艺批评家在路上,遇到歌德走来,不仅没有相让,反而卖弄聪明,一边高傲地往前走,一边大声说道:“我从来不给傻子让路!”面对如此尴尬局面,只见歌德笑容可掬,谦恭地闪在一旁,一边有礼貌地回答道:“呵呵,我可恰恰相反.”

问题1: 歌德表达的意思是

,对一个命题p的结论的否定 ,就得到一个新命题,记作

,读作“非p”,即是“p的否定”.

问题2: 常见的逻辑联结词有“或”“且”“非”.不含逻辑联结词的命题叫 ,含有逻辑联结词的命题叫

.

(1)用联结词“或”把命题p和命题q联结起来,就得到一个新命题,记作

,读作“p或q”.

(2)用联结词“且”把命题p和命题q联结起来,就得到一个新命题,记作 ,读作“p且q”.

问题3: 命题的否定与否命题的区别

(1)命题的否定是否定命题的 ,而命题的否命题是对原命题的 和 同时进行否定.

(2)命题的否定的真假与原命题的真假总是 的,即一真一假;而否命题的真假与原命题的真假无必然的联系.

问题4: (1)复合命题是由简单命题与逻辑联结词构成的,简单命题的真假决定了复合命题的真假,复合命题的真假用真值表来判断.

p q p∨q p∧q

真 真

真 假 真 假

真 真 假

假 假 假

p p

真

真

(2)常见关键词及其否定形式附表如下:

关键词

否定词

等于(=) 不等于(≠)

大于(>) 不大于 (≤)

小于(<) 不小于(≥)

是 不是

能 不能

都是 不都是

没有 至少有一个

至多有一个 至少有两个

至少有一个 一个都没有

至少有n个 至多有n-1个

至多有n个 至少有n+1个

简单的逻辑联结词

逻辑联结词：“或”、“且”、“非”这些词叫做逻辑联结词.

（1）不含逻辑联结词的命题叫简单命题，由简单命题与逻辑联结词构成的命题叫复合命题.

（2）复合命题的构成形式： ①p或q；②p且q；③非p（即命题p的否定）.

（3）复合命题的真假判断（利用真值表）：

当p、q同时为假时，“p或q”为假，其它情况时为真，可简称为“一真必真”；

当p、q同时为真时，“p且q”为真，其它情况时为假，可简称为“一假必假”。

“非p”与p的真假相反.

注意：对命题的否定只是否定命题的结论；否命题，既否定题设，又否定结论。

例如命题：“若0a，则02a”的否命题是_

1.若命题p: 0是偶数，命题q: 2是3的约数.则下列命题中为真的是( )

A.p且q B.p或qC.非p D.非p且非q

2.若命题“p或q”为真，“非p”为真，则 （ ）

A．p真q真 B．p假q真 C．p真q假 D．p假q假

3.若“pq”为真命题，则下列命题一定为假命题的是

（A）p （B）q （C）pq （D）pq

4.已知命题p:所有有理数都是实数，命题:q正数的对数都是负数，则下列命题中是真命题的是

A．qp Ｂ．qp C．qp D．qp

5.在下列结论中，正确的是 （ ）

①""qp为真是""qp为真的充分不必要条件

②""qp为假是""qp为真的充分不必要条件

③""qp为真是""p为假的必要不充分条件

④""p为真是""qp为假的必要不充分条件

A. ①② B. ①③ C. ②④ D. ③④

命题与逻辑联结词

一、命题与逻辑联结词

1、命题定义

可以判断真假的语句叫“命题”

2、分类

简单命题

复合命题（由简单命题与逻辑联结词构成）

p或q：qp

p且q：qp

非p：p（命题p的否定）

3、判断复杂命题的真假

一真或真，一假且假.

4、四种命题

（1）原命题.

若p，则q.

（2）逆命题

若q，则p.

（3）否命题

若p，则q.

（4）逆否命题

若q，则p.

5、四种命题关系

（1）原命题与逆否命题同真同假.

（2）逆命题与否命题同真同假.

6、命题的否定与否命题.

（1）命题的否定：（只否定结论）.

p表示命题，非p叫做命题的否定；

若p则q，则命题的否定为：若p则q

（2）否命题（既否定条件，又否定结论）

若p则q的否命题为： 若p则q.

二、充分条件与必要条件.

1、充分条件

若qp，则p是q的充分条件（q的充分条件p）

2、必要条件

若qp，则q是p的充分条件（p的充分条件q）

3、充要条件

若qp且pq（或qp）则p是q的充要条件。

4、充分条件与必要条件判定

（1）数轴法

（2）集合法 （3）等价法

三：全称量词与存在量词

1、 全称量词：“所有的”.“任意一个”.“每个”，用“”表示。

存在量词：“存在一个”.“至少有一个”.“有些”，用“”表示.

2、 全称命题（含有全称量词的命题）：;,xpMx

特称命题（含有存在量词的命题）：.,00xpMx

3、含有一个量词的命题的否定.

命题 命题的否定

XPMx, 00,xpMx

00,xpMx xpMx,

4、一些常用正面描述的词语的否定形式：

正面词语 = > < 是 都是 一定

否定词语    不是 不都是 不一定

正面词语 至多有一个 至少有一个 至多有n个 至少有n个 P或q P且q

简单的逻辑联结词以及全称量词和存在量词

一 复合命题“pq”，“ pq”， p

已知p和q是两个单独的命题，则：

pq：用联结词“且”把命题p和命题q联结起来得到的新命题.记作pq，读作p且q.

pq：用联结词“并”把命题p和命题q联结起来得到的新命题.记作pq，读作p或q.

p：对于一个命题p全盘否定得到的新命题.记作p，读作非p.

二 复合命题的真假性判断

（1）命题pq的真假性判断（真值表）

p q pq

真 真 真

真 假 假

假 真 假

假 假 假

注：有假则假，无假则真.

（2）命题pq的真假判断（真值表）

p q pq

真 真 真

真 假 真

假 真 真

假 假 假

注：有真则真，无真则假. （3）命题p的真假性判断（真值表）

p p

真 假

假 真

注：真假相反.

三 由复合命题的真假求参数的取值范围

逻辑联结词“或”，“且”，“非”与集合中的并集，交集，补集有着密切关系，因此求参数的取值范围问题可转化为集合关系来处理.

例 已知p：函数21yxmx在(1,)上单调递增，q：函数24yx

4(2)10mx恒成立.若p或q为真，p且q为假，求m的取值范围.

[3,)(1,2)

练习1 已知命题p：方程210xmx有两个不相等的正实数根，命题q：方程244(2)10xmx无实数根.若” p或q”为真命题，求实数m的取值范围.

(,1)

练习2 已知0c，设:p函数xyc在R上单调递减，q：曲线22144()12yxcxc与x轴交于不同的两点，如果p和q有且仅有一个为真命题，求c的取值范围. 1(0,][1,)2

四 全称命题与特称命题的形式