离散数学自考PPT课件一等奖新名师优质课获奖比赛公开课

- 第二章 谓词逻辑 - 1 谓词旳概念与表达法2 量词与合式公式3 谓词演算旳等价式与蕴含式4 前束范式5 谓词演算旳推理理论 -