屈婉玲离散数学公开课百校联赛一等奖课件省赛课获奖课件

- 1 - 2 - 主要内容命题逻辑基本概念命题逻辑等值演算命题逻辑推理理论一阶逻辑基本概念一阶逻辑等值演算与推理 -