选修2-1复习课件：第一章-常用逻辑用语小结.pptVIP

* “非”命题对常见的几个正面词语的否定. 正面 = 是 都是 至多有一个 至少有一个 任意的 所有的 否定 ≠ ≤ 不是 不都是 至少有两个 没有一个 某个 某些 * 1.4 全称量词与 存在量词 * 短语”对所有的””对任意一个”在逻辑中通常叫做全称量词,并用符号 “ ”表示.含有全称量词的命题,叫做全称命题, 常见的全称量词还有: “对所有的”,”对任意一个”,”对一切”,”对每一个”,”任给”,”所有的”等. 短语”对所有的””对任意一个”在逻辑中通常叫做全称量词,并用符号 “ ”表示.含有全称量词的命题,叫做全称命题. * 符号 全称命题”对M中任意一个x有p(x)成立”可用符号简记为 读作”对任意x属于M,有p(x)成立”. * 1.4.2 存在量词 * 短语”存在一个””至少有一个”在逻辑上通常叫做存在量词,并用符号” ”表示.含有存在量词的命题,叫做特称命题. 常见的存在量词还有”有些””有一个””有的””对某个”等. * 特称命题”存在M中的一个x,使p(x)成 立”可用符号简记为 读做”存在一个x,使p(x)成立”. * 1.4.3 含有一个量词 的命题的否定 * 从命题形式上看,这三个全称命题的否定都变成了特称命题. 一般