第一章: 逻辑,集合和函数
逻辑
合取
一假全假
析取
一真全真
异或
不同为真,相同为假
蕴含
前真后假 是为假,其余为真
A是B的充分条件
B是A的必要条件
只有A,才B == B->A
命题等价
谓词和量词
集合
集合运算
函数
序列与求和
函数增长