第05讲全称量词与存在量词(原卷版+解析).docxVIP

第05讲全称量词与存在量词

1．理解全称量词、全称量词命题的定义，存在量词、存在量词命题的定义；

2．会判断一个命题是全称量词命题还是存在量词命题，并会判断它们的真假；

3．正确地对含有一个量词的命题进行否定。

一、全称量词与全称量词命题

1、全称量词：短语“所有的”“任意一个”在逻辑中通常叫作全称量词，并用符号“”表示．

【注意】（1）全称量词的数量可能是有限的，也可能是无限的，由有题目而定；

（2）常见的全称量词还有“一切”、“任给”等，相应的词语是“都”

2、全称量词命题

（1）定义：含有全称量词的命题，称为全称量词命题．

（2）符号表示：通常，将含有变量的语句用，，，…表示，变量的取值范围用表示，那么，全称量词命题“对中任意一个，成立”可用符号简记为

【注意】（1）从集合的观点看，全称量词命题是陈述某集合中所有元素都具有某种性质的命题；

（2）一个全称量词命题可以包含多个变量；

（3）有些全称量词命题中的全称量词是省略的，理解时需要把它补出来。

如：命题“平行四边形对角线互相平行”理解为“所有平行四边形对角线都互相平行”。

二、存在量词与存在量词命题

1、全称量词：短语“存在一个”“至少有一个”在逻辑中通常叫作存在量词，并用符号“”表示．

【注意】常见的存在量词还有“有些”、“有一个”、“对某些”、“有的”等；

2、存在量词命题

（1）定义：含有存在量词的命题，叫作存在量