摘要： 学习科目：离散数学第一部分-数理逻辑 通过对PPT的学习掌握了命题逻辑基本概念 命题逻辑等值演算 命题逻辑推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理理论。 笔记： 两个重要量词分配等值式： 所有有关数理逻辑的题都是在这些公式的基础上进行推理，掌握好这些公式命题逻辑部分的题基本不会有大问题，多 阅读全文