命题与逻辑联结词知识点
- 格式:doc
- 大小:152.50 KB
- 文档页数:2
命题与逻辑联结词
一、命题与逻辑联结词
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
否定词语 至少有两个 一个也没有 至少有n+1个 至多有n-1个 非p且非q 非p或非q