命题逻辑 马殿富 北航计算机学院 2010-9计算机学院 2 计算机学院 2 集合论 定义：一些对象聚集为一个整体，称为集合。这些 对象称为集合的元素。 元素与集合的关系 a是集合S的元素，记为a S a不是集合S的元素，记为a S 集合的表示法 空集： 有穷集合：枚举法，S=x 1 ,x 2 ,x n 无穷集合：描述法x|x是自然数计算机学院 3 计算机学院 3 集合外延、内涵 外延原则与概括原则 外延原则：一个集合由它的元素唯一地确定 。 概括原则：每一性质(或谓词)产生一个集合。 集合外延 集合所包含的元素全体。 集合内涵 集合元素所共有的性质。 非负偶数集合 外延0,2,4, 内涵x|x是被2整除的自然数 计算机学院 4 计算机学院 4 集合的关系 集合的关系 包含关系： 如果集合A的元素都是集合B的元素，则称A为 B的子集，记为A B 真包含关系：A B 不包含关系:A B 等关系： 如果集合A和集合B包含相同元素，则称A和B 相等，记为A=B计算机学院 5 计算机学院 5 函数 A n =AAA A n =(x 1 ,x 2 ,x n )|x i A A=0, 1 A 3
