dream_follower的博客

1 命题 对确定的对象作出判断的陈述句称作命题，如果判断正确，称命题真（true） 否则称命题假（false） “真、假”是命题的属性，称为“真值” 排中律Law of Excluded Middle： 任一事物在同一时间里具有某属性或者不具 有某种属性，而无其它可能。 原子命题和复合命题 〉 逻辑联结词(logical connectives)：连接 命题，对真值进行运算的词； 〉 原子命题(a...

1.1 集合的定义 集合： 是由指定范围内的满足给定条件的所有对象聚集在一起构成，每一个对象称 为这个集合的元素。 外延公理 + 空集存在公理 + 无序对公理 + 并集公理 + 幂集公理 + 无穷公理 + 替换公理 + 正则公理 + 选择公理。 (ZFC 公理化集合论) 1.2 集合的表示 通常情况下 用带或不带下标的大写英文字母表示集合: A; B; C; · · · ; A1; B1; C1...

1 集合的运算定律