第一章 基础：逻辑和证明
命题（proposition）：真或假的陈述句
否定：￢（!、not、非、补）
合取：∧（&&、and、且、交）
析取：∨（||、or、或、并）
异或：⊕（xor）
只有一个为真时为真，其余为假（相同为假，不同为真）条件语句：→（蕴含）
p→q，p 真 q 假为假，其余全为真（p 为自然语言中的 “条件”，q 为自然语言中的 “结果”）双条件语句：↔（双蕴含）
只有一个为真时为假，其余为真（相同为真，不同为假）永真式（重言式）：真值为永远真
矛盾：真值为永远假
可能式：真值可能真可能假
逻辑等价：≡
p↔q 为永真式命题函数：
P(x1, x2, x3, ..., xn)
变量 + 谓词量词：全称量词，存在量词，约束论域量词
推理规则：假言推理、取拒式、假言三段论、析取三段论、附加、简化、和取、消解
证明方法：直接证明、反证法、归谬证明、穷举证明、分情形证明
第二章 基本结构：集合、函数、数列与求和
集合
- 幂集合：包括全部子集的集合（2^n 个元素）
- 笛卡尔积：按乘的顺序生成组合过的集合
函数
f 指派给 A 中元素 a 的惟一的 B 中元素是 b，就写成 f(a) = b。如果 f 是从 A 到 B 的函数，就写成 f:A->B（函数有时也被称作映射或变换）
- 反函数：对应关系对调
- 函数组合：
(f▫g)(x) = f(g(x))