命题与逻辑联结词知识点.docVIP

命题与逻辑联结词 命题与逻辑联结词 1、命题定义 可以判断真假的语句叫“命题” 2、分类 简单命题 复合命题（由简单命题与逻辑联结词构成） 或： 且： 非：（命题的否定） 3、判断复杂命题的真假 一真或真，一假且假. 4、四种命题 （1）原命题. 若，则. （2）逆命题 若，则. 否命题 若，则. （4）逆否命题 若，则. 5、四种命题关系 （1）原命题与逆否命题同真同假. （2）逆命题与否命题同真同假. 6、命题的否定与否命题. （1）命题的否定：（只否定结论）. 表示命题，非叫做命题的否定； 若则，则命题的否定为：若则 （2）否命题（既否定条件，又否定结论） 若则的否命题为： 若则. 二、充分条件与必要条件. 1、充分条件 若，则是的充分条件（的充分条件） 必要条件 若，则是的充分条件（的充分条件） 充要条件 若且（或）则是的充要条件。 4、充分条件与必要条件判定 （1）数轴法 （2）集合法 （3）等价法 三：全称量词与存在量词 1、 全称量词：“所有的”.“任意一个”.“每个”，用“”表示。 存在量词：“存在一个”.“至少有一个”.“有些”，用“”表示. 2、 全称命题（含有全称量词的命题）： 特称命题（含有存在量词的命题）： 3、含有一个量词的命题的否定. 命题 命题的否定 一些常用正面描述的词语的否定形式： 正面词语 = 是 都是 一定 否定词语 不是 不都是 不一定 正面词语 至多有一个 至少有一个 至多有n个 至少有n个 P或q P且q 否定词语 至少有两个 一个也没有 至少有n+1个 至多有n-1个 非p且非q 非p或非q