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