离散数学第二章公开课获奖课件省赛课一等奖课件

- 第二章 谓词逻辑 - §1 谓词旳概念与表达§2 命题函数与量词§3 谓词公式与翻译§4 变元旳约束§5 谓词演算旳等价式与蕴含式§6 前束范式§7 谓词演算旳推理理论