20145327寒假第一周学习总结

学习科目：离散数学第一部分-数理逻辑

通过对PPT的学习掌握了命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理理论。

笔记：







两个重要量词分配等值式：



所有有关数理逻辑的题都是在这些公式的基础上进行推理，掌握好这些公式命题逻辑部分的题基本不会有大问题，多做题熟悉公式（期末考试中是第三部分图论出了问题，所以这一部分复习起来还是相对容易，着重放在二三部分）。