第一部分数理逻辑 口主要内容(8周的时间) ●命题逻辑基本概念 ●命题逻辑等值演算 ●命题逻辑推理理论 阶逻辑基本概念 一阶逻辑等值演算与推理 1010 ❑主要内容（8周的时间） ⚫ 命题逻辑基本概念 ⚫ 命题逻辑等值演算 ⚫ 命题逻辑推理理论 ⚫ 一阶逻辑基本概念 ⚫ 一阶逻辑等值演算与推理 第一部分 数理逻辑