学习科目：离散数学第一部分-数理逻辑
通过对PPT的学习掌握了命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理理论。
笔记：
两个重要量词分配等值式：
所有有关数理逻辑的题都是在这些公式的基础上进行推理，掌握好这些公式命题逻辑部分的题基本不会有大问题，多做题熟悉公式（期末考试中是第三部分图论出了问题，所以这一部分复习起来还是相对容易，着重放在二三部分）。
原文：http://www.cnblogs.com/20145327gc/p/5170112.html