命题与逻辑联结词知识点

  • 格式: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