【学海导航】012届高考数学 1.3 简单的逻辑联结词、全称量词与存在量词复习课件 理.pptVIP

* 一、逻辑联结词 1.逻辑联结词：“或”“且”“非”这些词就叫做逻辑联结词. 简单命题：不含逻辑联结词的命题. 复合命题：由简单命题与逻辑联结词构成的命题.常用小写的拉丁字母p，q，r，s，……表示命题，故复合命题有三种形式：p或q；p且q；非p. 2.复合命题的真值 “非p”形式复合命题的真假可以用下表表示： . 假 . 真 非p p 假 真 “p且q”形式复合命题的真假可以用下表表示： 。 假 假 。 真 假 。 假 真 . 真 真 p且q q p 假 真 假 假 “p或q”形式复合命题的真假可以用下表表示： . 假 假 . 真 假 . 假 真 . 真 真 p或q q p 真 真 真 假 注：①上面表示命题真假的表叫真值表；②由真值表得：“非p”形式复合命题的真假与p的真假相反；“p且q”形式复合命题当p与q同为真时为真，其他情况为假；“p或q”形式复合命题当p与q同为假时为假，其他情况为真；③真值表是根据简单命题的真假，判断由这些简单命题构成的复合命题的真假，而不涉及简单命题的具体内容. 3.一些常用正面词语的否定： 某个 任意的 不都是（至少有一个不是） 都是 不是 是 不小于（大于或等于） 大于 不等于 等于 否定 正面词语 至少有n+1个 至多有n个 一个也没有 至少有一个 至少有两个 至多有一个 某些 所有的 否定 正面词语 p或q的否定： ； p且q的否定： . 非p且非q 非p或非q 二、全称命题与特称命题 1.全称量词：短语“对所有的”、“对任意一个”、“都是”、“都有”、“任何的”、“都不是”在逻辑中通常称为 量词，用符号“ ”表示. 2.存在量词：短语“存在一个”、“至少有一个”、“不都是”、“不都有”、“存在”、“至少”在逻辑中通常称为 量词，用符号“ ”表示. 全称 存在 3.全称命题与特称命题 短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号表示.含有全称量词的命题，叫做 . 短语“有一个”、“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做存在量词，并用符号表示，含有存在量词的命题，叫做 命题. 全称命题的否定是特称命题；特称命题的否定是 . 全称命题 特称 全称命题 *