这里收录了我在大二上学期学习的《离散数学》课程中 证明 部分的完整笔记。