贝叶斯定理；概率、方差、期望之间的关系; 期望的线性性质
鸽笼原理
关键是学会构造抽屉！
证明关系的某些性质
关于格的定义要清楚，用来解决1,3两问。这个题的第二问略有难度，要知道有界格是一定有上下确界的！
数学归纳法证明
结构归纳法证明归纳定义的集合具有某些性质：
这题不用归纳也行，但是归纳说起来更清楚些。这题也是证明函数性质的经典题目。
命题逻辑，自然演绎法
学会几个词：前提引入，全称示例，全称生成，存在示例，存在生成。化简律，德摩根律，拒取式（也叫否定后件），析取三段论，假言三段论，假言推理。
更专业的：