msdn集合不存在 请重新安装msdn_集合与常用逻辑用语

作为高中数学知识全解的第一篇，我有必要从整个数学的意义上说说集合与逻辑用语的价值。在整个现代数学，集合论是最底层的理论，就是说所有其它的理论都以它且只以它为基础。所以学习数学必须学习集合论。

在这一章，你应该把重点放在有关集合与逻辑用语本身的理论，对于涉及了很多其它内容的问题，不要给予太多关注。

为了便于用逻辑语言描述集合论，我先介绍基本的逻辑用语。

我们将可以判断真假的陈述句称为命题。

记

是两个命题，记

为

且，记

为

或，记

为

非。我们用

表示

和

都是真命题，用

表示

和

至少有一个是真命题，用

表示

是假命题。

记

是两个命题。我们用

表示

若

是真命题，则

也是真命题，称其为

是

的

充分条件，或者

是

的

必要条件。用

表示

是

的

充要条件，即

是

的充分条件且

是

的必要条件。

记

是元素

是命题，用

表示

全称量词，用

表示

存在量词。我们用

表示

对于任意

成立

是真命题，用

表示

存在某个

使得

是真命题。请注意

的否定是

的否定是

定义是概念是性质的充要条件，判定定理是概念是性质的必要条件，性质定理是概念是性质的充分条件。

现在开始介绍集合论。

集合是不能严格定义的概念，而其它概念都能用且仅用集合定义。集合的含义是由一些元素组成的整体，我们记

是元素，对于一个集合

我们总是可以判断

属于

记为

这一观点是真的还是假的，也就是

是一个命题。

常用的几个集合：自然数集

正整数集

整数集

有理数集

实数集

集合的表示方法主要有两种。第一种是列举法，就是把所有属于集合的元素逐一列举出来，例如将由

三个元素组成的集合记为

第二种是

描述法，就是 找到一个

的充要条件

然后把集合

记为

两个集合的最基本的关系有子集和相等。

设

是两个集合，则

是

的

子集是指

与

相等是指

将它们分别记为

的充要条件是

请注意两个集合的关系和逻辑用语的联系：设

则

的充要条件是

的充要条件是

非相等的子集是真子集。将

是

的真子集记为

集合的基本运算有交、并、补，分别记为

设

是两个集合，则

在一个特定的问题中，我们可以规定一个集合是全集，所讨论的集合均是这个全集的子集。设

是集合

是全集，则

集合的运算和逻辑用语的关系在于：设

则可以将集合的运算表示为

也可以用Venn图表示集合的关系和运算，以下是表示子集、交、并、补的Venn图：

不能用列举法表示的集合是存在的，这样的集合是无限集，而可以用列举法表示的集合是有限集。对于有限集

用

表示

所含元素的个数。

规定这样一种集合是存在的，任何元素都不属于它，称它为空集，记为

习题：

1. 设
   是命题，证明
   的充要条件是
2. 设
   是集合，证明
3. 设
   是集合，证明